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 PAA23623 for caml-redistribution; Fri, 17 Nov 1995 15:34:50 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.6.10/8.6.6) with ESMTP id PAA23141 for ; Fri, 17 Nov 1995 15:23:59 +0100 Received: from peray.inria.fr (peray.inria.fr [128.93.8.98]) by concorde.inria.fr (8.7.1/8.6.9) with SMTP id PAA07601 for ; Fri, 17 Nov 1995 15:23:57 +0100 (MET) Received: by peray.inria.fr; Fri, 17 Nov 1995 15:25:33 +0100 From: Daniel de Rauglaudre 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) Cc: caml-list@pauillac.inria.fr, coq@pauillac.inria.fr In-Reply-To: <199511171416.PAA22694@pauillac.inria.fr> from "Pierre Weis" at Nov 17, 95 03:15:58 pm Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis > 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/ --------------------------------------------------------------------------