From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id HAA25879; Mon, 10 Dec 2001 07:51:58 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id HAA25770 for ; Mon, 10 Dec 2001 07:51:58 +0100 (MET) Received: from verdot.inria.fr ([128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id fBA6ppT06069 for ; Mon, 10 Dec 2001 07:51:52 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id HAA15640 for caml-list@inria.fr; Sun, 9 Dec 2001 07:09:29 +0100 Date: Sun, 9 Dec 2001 07:09:29 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] SML -> OCaml Message-ID: <20011209070929.A15616@verdot.inria.fr> References: <29757.1007837428@nova.botz.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <29757.1007837428@nova.botz.org>; from jurgen@botz.org on Sat, Dec 08, 2001 at 10:50:28AM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Sat, Dec 08, 2001 at 10:50:28AM -0800, Jurgen Botz wrote: > Is there an SML -> OCaml translator? I have some SML programs I'd like > to convert... even something that only partly works would save me a fair > amount of tedium. You can try: camlp4 pa_sml.cmo pr_o.cmo your_file.ml But it is probably incomplete: you may get syntax errors. And even if it is ok, you probably have to change things by hands. You can ask me if you want me to complete of fix some bugs. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/ ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr