From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id GAA29593; Fri, 15 Nov 2002 06:32:34 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id GAA29407 for ; Fri, 15 Nov 2002 06:32:33 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id gAF5WXX23103 for ; Fri, 15 Nov 2002 06:32:33 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id GAA15811 for caml-list@inria.fr; Fri, 15 Nov 2002 06:32:33 +0100 Date: Fri, 15 Nov 2002 06:32:33 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: [Caml-list] int32/int64 literals in next release? Message-ID: <20021115063233.I15452@verdot.inria.fr> References: <200211132203.gADM3nN14766@plinky.bolt-action.com> <200211132142.WAA19709@pauillac.inria.fr> <20021113234425.C23757@speakeasy.org> <20021114084943.GB13242@rashko> <20021114161452.D23757@speakeasy.org> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.2.5i In-Reply-To: <20021114161452.D23757@speakeasy.org>; from shawnw@speakeasy.org on Thu, Nov 14, 2002 at 04:14:52PM -0800 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, On Thu, Nov 14, 2002 at 04:14:52PM -0800, Shawn Wagner wrote: > Anyways, I /think/ I can get camlp4 at least compiled, if I can figure out > where the constraints in an <:expr< > pattern are checked, and then how to > add more. Trying to make it recognize $int32:_$ and the like. For that, it should be necessary to be able to represent these constants in the syntax tree, what seems not to be implemented in the ocaml compiler. For the <:expr< >>: they are evaluated at compile time. But, indeed, if the contents is a function call, it generates a function call which is of course applied at run time, which is not satisfactory if you want to speak of "a constant". -- Daniel de RAUGLAUDRE http://cristal.inria.fr/~ddr/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners