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 SAA29961 for caml-redistribution; Tue, 18 Feb 1997 18:39:15 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA29138 for ; Tue, 18 Feb 1997 17:59:11 +0100 (MET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.7.6/8.7.3) with ESMTP id RAA23474; Tue, 18 Feb 1997 17:59:11 +0100 (MET) Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA29134; Tue, 18 Feb 1997 17:59:09 +0100 (MET) From: Xavier Leroy Message-Id: <199702181659.RAA29134@pauillac.inria.fr> Subject: Re: Documentation on Caml Light runtime In-Reply-To: <9702071246.ZM4854@unknown.zmail.host> from Pinku Surana at "Feb 7, 97 12:47:04 pm" To: pinkus@comm.mot.com (Pinku Surana) Date: Tue, 18 Feb 1997 17:59:09 +0100 (MET) Cc: caml-list@inria.fr MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis > I would like to make some changes to the Caml Light runtime > system. Before I begin, I am hoping that someone might have some > documentation about the structure of the runtime system. This would > be a tremendous aid as I delve into the code myself. Please email > any info... A description of the Caml Light implementation at a very early stage can be found in the following tech report: Xavier Leroy. "The ZINC experiment, an economical implementation of the ML language". Technical report 117, INRIA, 1990. http://pauillac.inria.fr/~xleroy/publi/ZINC.ps.gz Some parts of the report are still relevant seven years later, such as the description of the abstract machine. Other parts are hopelessly out of date. Some info on the garbage collector is also available at http://pauillac.inria.fr/~doligez/caml-light-gc/, in particular an excellent overview written by Peter Sestoft at http://pauillac.inria.fr/~doligez/caml-light-gc/Sestoft94.txt Good luck, - Xavier Leroy