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