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

Daniel de Rauglaudre (ddr@peray.inria.fr)
Fri, 17 Nov 1995 15:25:33 +0100 (MET)

From: Daniel de Rauglaudre <ddr@peray.inria.fr>
Message-Id: <199511171425.AA29238@peray.inria.fr>
Subject: Re: Quotations in Caml-Special-Light and Caml-Light
To: Pierre.Weis@inria.fr (Pierre Weis)
Date: Fri, 17 Nov 1995 15:25:33 +0100 (MET)
In-Reply-To: <199511171416.PAA22694@pauillac.inria.fr> from "Pierre Weis" at Nov 17, 95 03:15:58 pm

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

No specific difficulties: it is exactly the same problem, with the same
solution, but I did not do it.

--------------------------------------------------------------------------
Daniel de RAUGLAUDRE

Projet Cristal - INRIA Rocquencourt
Tel: +33 (1) 39 63 53 51
Email: daniel.de_rauglaudre@inria.fr
Web: http://pauillac.inria.fr:80/~ddr/
--------------------------------------------------------------------------