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.5 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 6B2B9BBCA for ; Wed, 12 Mar 2008 21:41:01 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmgBAEPc10fAXQImh2dsb2JhbACBWY8YAQEBCAoplms X-IronPort-AV: E=Sophos;i="4.25,490,1199660400"; d="scan'208";a="10195394" Received: from discorde.inria.fr ([192.93.2.38]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Mar 2008 21:41:00 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2CKexYt019004 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Wed, 12 Mar 2008 21:41:00 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApUBAPbc10dQDPJwgGdsb2JhbACBWY8YAQEJBAYHCAoQlm0 X-IronPort-AV: E=Sophos;i="4.25,490,1199660400"; d="scan'208";a="8320573" Received: from smtp2e.orange.fr ([80.12.242.112]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Mar 2008 21:40:59 +0100 Received: from me-wanadoo.net (localhost [127.0.0.1]) by mwinf2e12.orange.fr (SMTP Server) with ESMTP id 4AFEE70000A3 for ; Wed, 12 Mar 2008 21:40:59 +0100 (CET) Received: from localhost.localdomain (Mix-Lyon-109-3-236.w193-250.abo.wanadoo.fr [193.250.20.236]) by mwinf2e12.orange.fr (SMTP Server) with ESMTP id A12427000097 for ; Wed, 12 Mar 2008 21:40:58 +0100 (CET) X-ME-UUID: 20080312204058660.A12427000097@mwinf2e12.orange.fr Date: Wed, 12 Mar 2008 20:42:17 +0100 From: Fabrice Marchant To: caml-list@inria.fr Subject: A C to OCaml helper ? Message-ID: <20080312204217.3f5087e3@orange.fr> X-Mailer: Claws Mail 3.2.0 (GTK+ 2.12.7; i486-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 47D83FDB.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 ocaml:01 translation:07 fabrice:08 fabrice:08 helper:10 exist:13 some:14 does:14 thanks:17 tool:20 orange:78 could:21 parts:21 that:23 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