From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 4AF58BC32 for ; Sun, 6 Mar 2005 23:16:21 +0100 (CET) Received: from out1.smtp.messagingengine.com (out1.smtp.messagingengine.com [66.111.4.25]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j26MGKuS021924 for ; Sun, 6 Mar 2005 23:16:21 +0100 Received: from frontend3.messagingengine.com (frontend3.internal [10.202.2.152]) by frontend1.messagingengine.com (Postfix) with ESMTP id 3015FC5D69C; Sun, 6 Mar 2005 17:16:19 -0500 (EST) X-Sasl-enc: rzgL/Kd9+Rq3mc4xonEkhg 1110147376 Received: from [172.16.13.148] (burnham.ljcrf.edu [192.231.106.2]) by frontend3.messagingengine.com (Postfix) with ESMTP id EB83025599; Sun, 6 Mar 2005 17:16:15 -0500 (EST) Date: Sun, 6 Mar 2005 14:15:56 -0800 (PST) From: Martin Jambon X-X-Sender: martin@localhost To: Konstantine Arkoudas Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] SML->OCaml In-Reply-To: <0ICY00EE6521L5A3@vms044.mailsrvcs.net> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Miltered: at concorde with ID 422B8134.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 ocaml:01 sml-nj:01 ocaml:01 translating:01 sml:01 camlcvs:01 cvsweb:01 sml:01 wrote:01 century:98 jambon:02 jambon:02 partially:02 exists:02 X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.2 X-Spam-Level: On Sun, 6 Mar 2005, Konstantine Arkoudas wrote: > I'm thinking about re-implementing a fairly large SML-NJ project > (> 20K lines) in OCaml. Is anybody aware of any tools capable > of automatically translating SML code into OCaml, at least > partially? Any info would be appreciated. Thanks. It exists but it is in the "unmaintained" section of camlp4: http://camlcvs.inria.fr/cgi-bin/cvsweb/ocaml/camlp4/unmaintained/sml/ Martin -- Martin Jambon, PhD Researcher in Structural Bioinformatics since the 20th Century The Burnham Institute http://www.burnham.org San Diego, California