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 RAA23571; Wed, 25 Aug 2004 17:02:54 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA24064 for ; Wed, 25 Aug 2004 17:02:52 +0200 (MET DST) X-SPAM-Warning: Sending machine is listed in blackholes.five-ten-sg.com Received: from gatekeeper.elmer.external.excelhustler.com (gatekeeper.excelhustler.com [68.99.114.105]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id i7PF2plr023163 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=FAIL) for ; Wed, 25 Aug 2004 17:02:52 +0200 Received: from chatterbox.elmer.internal.excelhustler.com (unknown [192.168.0.12]) (using TLSv1 with cipher EDH-RSA-DES-CBC3-SHA (168/168 bits)) (Client CN "chatterbox.elmer.internal.excelhustler.com", Issuer "excelhustler.com" (not verified)) by gatekeeper.elmer.external.excelhustler.com (Postfix) with ESMTP id E4188E62C1; Wed, 25 Aug 2004 10:02:50 -0500 (CDT) Received: from localhost (localhost [127.0.0.1]) by chatterbox.elmer.internal.excelhustler.com (Postfix) with ESMTP id B6299C0098; Wed, 25 Aug 2004 10:02:50 -0500 (CDT) Received: from chatterbox.elmer.internal.excelhustler.com ([192.168.0.12]) by localhost (chatterbox [192.168.0.12]) (amavisd-new, port 10025) with ESMTP id 06791-05; Wed, 25 Aug 2004 10:02:49 -0500 (CDT) Received: from wile.internal.excelhustler.com (wile.internal.excelhustler.com [192.168.1.34]) by chatterbox.elmer.internal.excelhustler.com (Postfix) with ESMTP id F331042E9C; Wed, 25 Aug 2004 10:02:48 -0500 (CDT) Received: by wile.internal.excelhustler.com (Postfix, from userid 1000) id F21C24B0C3; Wed, 25 Aug 2004 10:02:48 -0500 (CDT) From: John Goerzen To: caml-list@inria.fr Subject: Re: [Caml-list] Alternative Bytecodes for OCaml Date: Wed, 25 Aug 2004 10:02:47 -0500 User-Agent: KMail/1.7 References: <200408250926.28629.jgoerzen@complete.org> <20040825143828.GA15785@annexia.org> <200408250950.04092.jgoerzen@complete.org> In-Reply-To: <200408250950.04092.jgoerzen@complete.org> Cc: Emmanuel.Chailloux@pps.jussieu.fr, Raphael.Montelatici@pps.jussieu.fr MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200408251002.48722.jgoerzen@complete.org> X-Virus-Scanned: by amavisd-new-20030616-p7 (Debian) at excelhustler.com X-Miltered: at nez-perce with ID 412CAA1B.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 bytecodes:01 2004:99 2004:99 ocamlc:01 ocamlrun:01 wiki:01 violate:01 binaries:01 nativeint:01 shl:99 bug:01 faq:01 faq:01 beginner's:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk [ I'm CCing the people listed as contacts on the OCamil page; I hope you don't mind ] On Wednesday 25 August 2004 09:50 am, John Goerzen wrote: > On Wednesday 25 August 2004 09:38 am, Richard Jones wrote: > > On Wed, Aug 25, 2004 at 09:26:28AM -0500, John Goerzen wrote: > > > * An ocamlc/ocamlrun that execute under Java or .NET and > > > compile/run normal OCaml bytecode > > > > This interesting project was posted on the Wiki yesterday. It > > generates code which runs on the .NET CLR. I'm not exactly sure > > how, whether it's a modified compiler, or a translator of OCaml > > bytecode: > > > > http://www.pps.jussieu.fr/~montela/ocamil/ > > That is indeed interesting. It looks like they have a good start. > Unfortunately, there's one huge problem: there is no source code at > all. (Doesn't that violate the OCaml license?) This is a very important point, BTW. I have been able to take their binaries and see at least something happen with Mono: $ mono ocamiltop.exe ** ERROR **: Invalid IL code at IL0096 in Nativeint.Top:start (): IL_0096: shl Well, it's a start. With source, I could probably do a lot more. > They are working in a pure Windows environment and have yet to port > some libraries such as Str and Unix. These are both things I can > help with, but without the source code, it's completely useless to > me. > > > What will be interesting will be to see how well it allows one to > > call .NET libraries, and how well it works on Mono. > > Indeed. (And how well it allows other .NET programs to call OCaml > code.) > > -- John > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: > http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs > FAQ: http://caml.inria.fr/FAQ/ Beginner's list: > http://groups.yahoo.com/group/ocaml_beginners ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners