From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <konstantine@alum.mit.edu>
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 DA6BABC32
	for <caml-list@yquem.inria.fr>; Sun,  6 Mar 2005 21:03:38 +0100 (CET)
Received: from vms044pub.verizon.net (vms044pub.verizon.net [206.46.252.44])
	by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j26K3ccL006658
	for <caml-list@yquem.inria.fr>; Sun, 6 Mar 2005 21:03:38 +0100
Received: from HoodooMan ([151.203.216.165])
 by vms044.mailsrvcs.net (Sun Java System Messaging Server 6.2 HotFix 0.04
 (built Dec 24 2004)) with ESMTPA id <0ICY00EDW51XL5A3@vms044.mailsrvcs.net> for
 caml-list@yquem.inria.fr; Sun, 06 Mar 2005 14:03:37 -0600 (CST)
Date: Sun, 06 Mar 2005 15:03:15 -0500
From: "Konstantine Arkoudas" <konstantine@alum.mit.edu>
Subject: SML->OCaml
To: <caml-list@yquem.inria.fr>
Reply-To: <konstantine@alum.mit.edu>
Message-id: <0ICY00EE6521L5A3@vms044.mailsrvcs.net>
MIME-version: 1.0
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2800.1165
X-Mailer: Microsoft Office Outlook, Build 11.0.5510
Content-type: text/plain; charset=us-ascii
Content-transfer-encoding: 7bit
Thread-index: AcUih4gIG0c27fczRTOBte3i+mHNeg==
X-Miltered: at concorde with ID 422B621A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)!
X-Spam: no; 0.00; ocaml:01 sml-nj:01 ocaml:01 translating:01 sml:01 alum:98 partially:02 anybody:07 edu:07 i'm:08 tools:14 fairly:15 thanks:16 project:17 code:17 
X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.0.2
X-Spam-Level: 

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.

-- K. A.