Re: Quotations in Caml-Special-Light and Caml-Light

Pierre Weis (weis@pauillac.inria.fr)
Fri, 17 Nov 1995 15:15:58 +0100 (MET)

From: Pierre Weis <weis@pauillac.inria.fr>
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)
In-Reply-To: <199511171352.AA28748@peray.inria.fr> from "Daniel de Rauglaudre" at Nov 17, 95 02:52:03 pm

> 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
----------------------------------------------------------------------------