From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA05621 for caml-redistribution; Wed, 3 Dec 1997 08:48:13 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA28119 for ; Tue, 2 Dec 1997 22:06:35 +0100 (MET) Received: from jaune.inria.fr (ddr@jaune.inria.fr [128.93.11.80]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id WAA26547 for ; Tue, 2 Dec 1997 22:06:33 +0100 (MET) Received: (from ddr@localhost) by jaune.inria.fr (8.8.5/8.8.5) id WAA02848; Tue, 2 Dec 1997 22:06:47 +0100 Message-Id: <199712022106.WAA02848@jaune.inria.fr> Subject: Re: hacks using camlp4 In-Reply-To: <34843F79.15C2@dassault-aviation.fr> from Thierry Bravier at "Dec 2, 97 06:03:53 pm" To: thierry.bravier@dassault-aviation.fr (Thierry Bravier) Date: Tue, 2 Dec 1997 22:06:47 +0100 (MET) Cc: caml-list@inria.fr From: Daniel de Rauglaudre X-Mailer: ELM [version 2.4ME+ PL28 (25)] MIME-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit Sender: weis Interesting, your constant folding code. > In this precise case, the smart [partial.ml] module presented by > Daniel de Rauglaudre is too powerful, since there is no need to > store folded values in global variables, folded values are put in > new literals instead. Yes, my implementation was to globalize Str.regexp "..." which cannot be written as a literal. -------------------------------------------------------------------------- Daniel de RAUGLAUDRE Projet Cristal - INRIA Rocquencourt Tel: +33 (01) 39 63 53 51 Email: daniel.de_rauglaudre@inria.fr Web: http://pauillac.inria.fr/~ddr/ --------------------------------------------------------------------------