From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA22731 for caml-redistribution; Fri, 17 Nov 1995 15:16:29 +0100 Received: (from weis@localhost) by pauillac.inria.fr (8.6.10/8.6.6) id PAA22694; Fri, 17 Nov 1995 15:16:00 +0100 From: Pierre Weis Message-Id: <199511171416.PAA22694@pauillac.inria.fr> Subject: Re: Quotations in Caml-Special-Light and Caml-Light To: ddr@peray.inria.fr (Daniel de Rauglaudre) Date: Fri, 17 Nov 1995 15:15:58 +0100 (MET) Cc: caml-list@pauillac.inria.fr, coq@pauillac.inria.fr In-Reply-To: <199511171352.AA28748@peray.inria.fr> from "Daniel de Rauglaudre" at Nov 17, 95 02:52:03 pm MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis > There is a way to have macros in Caml-Light and Caml-Special-Light. I > implemented them in my private version of Caml-Special-Light. This mail > explains how these macros work. That seems to be a simple and elegant solution to the problem. But you only gave example of compilation using csl. What could be the specific difficulties to include quotations in Caml-Light ? Do you already have it in a private version of Caml Light 0.7 ? Pierre Weis ---------------------------------------------------------------------------- WWW Home Page: http://pauillac.inria.fr/~weis Projet Cristal INRIA, BP 105, F-78153 Le Chesnay Cedex (France) E-mail: Pierre.Weis@inria.fr Telephone: +33 1 39 63 55 98 Fax: +33 1 39 63 53 30 ----------------------------------------------------------------------------