From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr 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 A9E01BB83 for ; Tue, 23 May 2006 07:49:26 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4N5nPPw012458 for ; Tue, 23 May 2006 07:49:26 +0200 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 HAA28027 for ; Tue, 23 May 2006 07:49:25 +0200 (MET DST) Received: from mx1.polytechnique.org (mx1.polytechnique.org [129.104.30.34]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k4N5nPSW008077 for ; Tue, 23 May 2006 07:49:25 +0200 Received: from charm.local (pas38-2-82-224-181-11.fbx.proxad.net [82.224.181.11]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by ssl.polytechnique.org (Postfix) with ESMTP id B3C4D3317D; Tue, 23 May 2006 07:49:24 +0200 (CEST) Received: from [127.0.0.1] (localhost [127.0.0.1]) by charm.local (Postfix) with ESMTP id 296B645FD02; Tue, 23 May 2006 07:49:21 +0200 (CEST) In-Reply-To: <447232D6.2070902@cis.upenn.edu> References: <871wul3k0q.fsf@linux-france.org> <447232D6.2070902@cis.upenn.edu> Mime-Version: 1.0 (Apple Message framework v750) Content-Type: multipart/signed; protocol="application/pgp-signature"; micalg=pgp-sha1; boundary="Apple-Mail-12-404946924" Message-Id: <8FC04122-E316-4DEF-B649-495F655D66CA@polytechnique.org> Cc: David MENTRE , caml-list@inria.fr Content-Transfer-Encoding: 7bit From: Alan Schmitt Subject: Re: [Caml-list] Re: OCaml bytecode documentation? Date: Tue, 23 May 2006 07:49:14 +0200 To: Geoffrey Alan Washburn X-Pgp-Agent: GPGMail 1.1.2 (Tiger) X-Mailer: Apple Mail (2.750) X-AV-Checked: ClamAV using ClamSMTP at djali.polytechnique.org (Tue May 23 07:49:24 2006 +0200 (CEST)) X-Org-Mail: alan.schmitt.1995@polytechnique.org X-Miltered: at concorde with ID 4472A265.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 4472A265.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; schmitt:01 schmitt:01 ocaml:01 bytecode:01 upenn:01 bytecode:01 ocaml:01 didier:01 interp:01 wrote:01 wrote:01 writes:01 caml-list:01 cristal:01 xleroy:01 X-Attachments: type="application/pgp-signature" name="PGP.sig" name="PGP.sig" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --Apple-Mail-12-404946924 Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed On 22 mai 06, at 23:53, Geoffrey Alan Washburn wrote: > David MENTRE wrote: >> Geoffrey Alan Washburn writes: >>> Where would I look for more information about the bytecode >>> language used by current versions of OCaml? Is it still based >>> upon CAM? >> Would this help? >> http://cristal.inria.fr/~lebotlan/docaml_html/english/ >> english004.html > > Probably, though why isn't this part of the "official" > documentation, or at least linked from, caml.inria.fr? Unfortunately neither Didier nor I have given time to this project for a long time. The best documentation is the ZINC technical report (http://gallium.inria.fr/~xleroy/publi/ZINC.pdf) along with the code (interp.c if I remember correctly). Alan -- Alan Schmitt The hacker: someone who figured things out and made something cool happen. .O. ..O OOO --Apple-Mail-12-404946924 content-type: application/pgp-signature; x-mac-type=70674453; name=PGP.sig content-description: This is a digitally signed message part content-disposition: inline; filename=PGP.sig content-transfer-encoding: 7bit -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.1 (Darwin) iD8DBQFEcqJdNIAqM4hFUWgRAshOAJ0X31WLWfTHB2YWBZSsqSQQxxfXrACeJivj SY7zVEGhcSHCsSKTy3FXOjA= =zIxq -----END PGP SIGNATURE----- --Apple-Mail-12-404946924--