From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id KAA14609; Tue, 30 Oct 2001 10:20:09 +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 KAA14972 for ; Tue, 30 Oct 2001 10:20:08 +0100 (MET) Received: from lachesis.inria.fr (lachesis.inria.fr [128.93.52.5]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f9U9K5f04496; Tue, 30 Oct 2001 10:20:05 +0100 (MET) Received: (from lefessan@localhost) by lachesis.inria.fr (8.11.3/8.11.3) id f9U9L4A27153; Tue, 30 Oct 2001 10:21:04 +0100 X-Authentication-Warning: lachesis.inria.fr: lefessan set sender to fabrice.le_fessant@inria.fr using -f From: Fabrice Le Fessant MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <15326.28926.702172.267468@lachesis.inria.fr> Date: Tue, 30 Oct 2001 10:21:02 +0100 (CET) To: Hendrik Tews Cc: jeanmarc.eber@lexifi.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] Whither the Caml Consortium? References: <20011020012347.A29847@quincy.inria.fr> <20011019192854.N9735-100000@shell5.ba.best.com> <20011020172932.A5967@fichte.ai.univie.ac.at> <20011022192533.A12039@quincy.inria.fr> <3BD45932.6D782E08@earthlink.net> <20011024175707.A23319@dpt-info.u-strasbg.fr> <15319.58040.859039.299169@gargle.gargle.HOWL> <15320.13183.440243.510939@lachesis.inria.fr> <15326.27209.775213.987022@gargle.gargle.HOWL> X-Mailer: VM 6.75 under Emacs 20.7.1 Reply-To: fabrice.le_fessant@inria.fr Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > Indeed I was not aware of this. Where are these patches > documented? I only found cdk/sources/ocaml.patches/README, which > describes only 2 of the 17 patches. Most of the patches in the CDK are useful to improve the compilation and distribution of the CDK (eg binary distribs independent of linux distributions), and are not useful for other ocaml users. However, some patches discussed on the mailing-list have been integrated and can be used by users. For example: 14_yacc.patch is Thierry Bravier's ocamlyacc patch, to allow symbolic $ variables in mly files. 13_scaml.patch is described on http://algol.prosalg.no/~malc/scaml . 16_clink.patch is used to allow recursive modules in very simple cases (forward declaration of functions). 17_option.patch is a patch to allow optional values in modules (from Alain Frisch). As said by Xavier, these patches are not included in the standard distribution for good reasons (either they need to be improved, or better tested, or a better general solution is coming). They are mainly in the CDK for beta-testing, and they will be kept until either a big bug appears or a better replacement is found. - Fabrice ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr