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 TAA02515; Fri, 1 Jun 2001 19:04:16 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id TAA02456 for caml-list@pauillac.inria.fr; Fri, 1 Jun 2001 19:04:15 +0200 (MET DST) 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 GAA23885 for ; Fri, 1 Jun 2001 06:40:40 +0200 (MET DST) Received: from dsf.net (dt083n6c.san.rr.com [204.210.26.108]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f514ec110852; Fri, 1 Jun 2001 06:40:39 +0200 (MET DST) Received: (from dsf@localhost) by dsf.net (8.11.0/8.11.0) id f514dtn02722; Thu, 31 May 2001 21:39:55 -0700 To: Brian Rogoff Cc: Luc Maranget , John Max Skaller , caml-list@inria.fr Subject: Re: [Caml-list] ocaml and named constants References: From: David Fox Date: 31 May 2001 21:39:55 -0700 In-Reply-To: Brian Rogoff's message of "Thu, 31 May 2001 09:34:09 -0700 (PDT)" Message-ID: X-Mailer: Gnus v5.7/Emacs 20.7 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Brian Rogoff writes: > On Thu, 31 May 2001, Luc Maranget wrote: > > But I have another remark > > as far a ``manifest constants'' are the issue, Polymorphic > > variants > > (http://caml.inria.fr/ocaml/htmlman/manual003.html) > > seem to do the job. > > > > After all, provided you do not care much about the actual value of Foo) > > Ah, the problem for me is that I really do care about the actual value for > the constants. It turns out that I may process binary file formats (GDSII > is the canonical example) where I want the name to correspond to a number. I too run into a lot of situations where I care about the actual value for my constants because of the various exteral C libraries I use. However, I am satisfied with the "x when x = a -> ..." solution if it gives the same optimization that "3 -> ..." would. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr