From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA25827 for caml-red; Thu, 25 Jan 2001 09:09:13 +0100 (MET) 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 IAA18248 for ; Thu, 25 Jan 2001 08:43:15 +0100 (MET) Received: from romeo.apsystems.it ([213.82.20.2]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f0P7hEH12586 for ; Thu, 25 Jan 2001 08:43:15 +0100 (MET) Received: from alex (ppp-104.dial1.planet.it [212.110.170.104]) by romeo.apsystems.it with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21) id DQZAG7X3; Thu, 25 Jan 2001 08:43:07 -0000 Message-ID: <002201c086a1$f96b7680$68aa6ed4@alex> From: "Alex Baretta" To: "Ocaml Mailing List" Subject: Ocaml VM and bytecode Date: Thu, 25 Jan 2001 08:39:34 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 4.72.3110.5 X-MimeOLE: Produced By Microsoft MimeOLE V4.72.3110.3 Sender: weis@pauillac.inria.fr Is there such a thing as an assembly language -- and the matching assembler -- for the Ocaml VM? You know, I'd like to write a (toy) compiler for a logic language similar to Prolog, and I would like not to have to worry about porting the code to various architectures/OSes. If there were an Ocaml assembly language, such a compiler could generate such a language. Otherwise, I would have to work with the bytecode directlly, which is probably a little more complicated. One more thing: is there a bytecode to binary compiler for Ocaml? Merci! Alex