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 9E010BB83 for ; Tue, 23 May 2006 08:57:53 +0200 (CEST) Received: from mail.libertysurf.net (mx-out.libertysurf.net [213.36.80.91]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k4N6vrII021596 for ; Tue, 23 May 2006 08:57:53 +0200 Received: from dyn-83-152-20-185.ppp.tiscali.fr (83.152.20.185) by mail.libertysurf.net (7.2.071) id 447208980000EE32 for caml-list@yquem.inria.fr; Tue, 23 May 2006 08:57:53 +0200 From: Florent Monnier Organization: l'Association Linux-Nantes To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] doc licence (was: OCaml bytecode documentation?) Date: Tue, 23 May 2006 09:02:27 +0200 User-Agent: KMail/1.8.2 References: <447232D6.2070902@cis.upenn.edu> <8FC04122-E316-4DEF-B649-495F655D66CA@polytechnique.org> In-Reply-To: <8FC04122-E316-4DEF-B649-495F655D66CA@polytechnique.org> X-Face: #L_Y84Xu>Uii")W[x~M|kDXQ"7%\'1D_ybO)a'+{"'/%k9)|Sp|OcG`x0rzWb/Z[]^2=YjB 4BVs.BzlQt]}bW<3(}hEogE*O^~7>gK"-|G[HjY{[/SO5S'hf\aNcc?<[$bSq.2o>Lw dp43:s|Qwm-9JBS1~J45M sh,'|6.4>3o4BI>+dH(5B47Cz6/cX3NZ^TG{ES MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200605230902.27905.fmonnier@linux-nantes.fr.eu.org> X-Miltered: at concorde with ID 4472B271.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 bytecode:01 bytecode:01 ocaml:01 didier:01 interp:01 restrictive:01 caml-list:01 cristal:01 xleroy:01 caml:02 gnu:02 gnu:02 correctly:04 licence:05 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 > >>> 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). There is a good news with the fact that the implementation doc is not part of the official doc: the implementation doc is available under GNU/FDL (GNU Free Documentation License), while the official doc is available in a restrictive way. --