From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.4 required=5.0 tests=AWL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id F24C7BBC1 for ; Thu, 13 Mar 2008 02:56:30 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwGAAYn2EdIDszoYGdsb2JhbACQZxUEBQgKjQ2HBw X-IronPort-AV: E=Sophos;i="4.25,491,1199660400"; d="scan'208";a="23700061" Received: from concorde.inria.fr ([192.93.2.39]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2008 02:56:30 +0100 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2D1uUYN006329 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 13 Mar 2008 02:56:30 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlwGAAYn2EdIDszoYGdsb2JhbACQZxUEBQgKjQ2HBw X-IronPort-AV: E=Sophos;i="4.25,491,1199660400"; d="scan'208";a="23700060" Received: from qb-out-0506.google.com ([72.14.204.232]) by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2008 02:56:29 +0100 Received: by qb-out-0506.google.com with SMTP id a16so2949945qbd.11 for ; Wed, 12 Mar 2008 18:56:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; bh=i5j2NGy68LNJC6AZi3nexeoVLprGosv4Ujzzp2TWa6k=; b=XvKVCR0gbVGVhiZfwbtorZyKd0Jr1rI3Rj1bohOK08O5gDasQU5lHH5VzRd+IVrpBm1orALw4iG1qM6vs/LDRNgpj1ULuOBjZuWnXqw7lthbukNFHE0FzRaV6eigaaNghlDR8Bzc3pY1s/RXkNcAJ4fqK/zCW59BNokcHFJTc4c= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=KJ+NGNDI/MoDQoeWKP/gpsWSlBOsnUbcptQQr0kM8ODPtEMgRVzBbTt3eNb03aeByuQn7DZW3mEa8lCM/2FT6t893Iy50/zKRym6jxs559mSK9P9pUS10A6HOgRdYBkN8NvnzOetgN6ueU2jfHWr0SEO3tNHT19J35Hb635kZus= Received: by 10.142.128.6 with SMTP id a6mr3957711wfd.206.1205373388352; Wed, 12 Mar 2008 18:56:28 -0700 (PDT) Received: by 10.142.148.14 with HTTP; Wed, 12 Mar 2008 18:56:28 -0700 (PDT) Message-ID: <4a051d930803121856y9482ac9yc265afcde22f96b4@mail.gmail.com> Date: Wed, 12 Mar 2008 21:56:28 -0400 From: "Christopher L Conway" Sender: christopherleeconway@gmail.com To: "Fabrice Marchant" Subject: Re: [Caml-list] A C to OCaml helper ? Cc: caml-list@inria.fr In-Reply-To: <20080312204217.3f5087e3@orange.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <20080312204217.3f5087e3@orange.fr> X-Google-Sender-Auth: b9363e430d54a10c X-Miltered: at concorde with ID 47D889CE.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 beginner's:01 bug:01 beginners:01 wrote:01 caml-list:01 caml-list:01 bin:01 caml:02 caml:02 archives:02 caml-bugs:02 groups:02 berkeley:04 You could try writing a CIL visitor that outputs an OCaml transliteration (http://hal.cs.berkeley.edu/cil/). How well that would work depends on what your C source code looks like. Chris On Wed, Mar 12, 2008 at 3:42 PM, Fabrice Marchant wrote: > Hi ! > > Please does it exist some tool that could do at least the very mechanical first parts of the translation of a C source to OCaml ? > > Thanks, > > Fabrice > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > >