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 RAA04291 for caml-red; Wed, 31 Jan 2001 17:28:51 +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 VAA04992 for ; Tue, 30 Jan 2001 21:05:32 +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 f0UK5Uj14901 for ; Tue, 30 Jan 2001 21:05:31 +0100 (MET) Received: from alex (ppp-64.dial1.planet.it [212.110.170.64]) by romeo.apsystems.it with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21) id DYMTPQB8; Tue, 30 Jan 2001 21:05:28 -0000 Message-ID: <003801c08af7$79df33c0$40aa6ed4@alex> From: "Alex Baretta" To: "Sylvain Kerjean" , "Ocaml Mailing List" Subject: R: Ocaml VM and bytecode Date: Tue, 30 Jan 2001 21:01:40 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit 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 As far as I can see, the options you mention are not documented in the manual. Do you (are anybody else) know where I could find documentation on the topic? Alex -----Messaggio originale----- Da: Sylvain Kerjean A: Alex Baretta Data: lunedì 29 gennaio 2001 11.43 Oggetto: Re: Ocaml VM and bytecode Alex Baretta wrote: > > Is there such a thing as an assembly language -- and the matching > assembler -- for the Ocaml VM? Have you ever tried to launch ocaml with options -dinstr or -dlambda ? ;-) -- Sylvain Kerjean IRISA-INRIA, Campus de Beaulieu, 35042 Rennes cedex, France Tél: +33 (0) 2 99 84 75 99, Fax: +33 (0) 2 99 84 71 71