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 OAA13976 for caml-redistribution; Mon, 15 Mar 1999 14:31:17 +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 DAA02875 for ; Sat, 13 Mar 1999 03:44:02 +0100 (MET) Received: from nef.ens.fr (nef.ens.fr [129.199.96.12]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id DAA13579 for ; Sat, 13 Mar 1999 03:44:01 +0100 (MET) Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef.ens.fr (8.8.8/jtpda-5.1) with ESMTP id DAA22475 ; Sat, 13 Mar 1999 03:43:28 +0100 (MET) Received: from brick.ens.fr (monniaux@brick [129.199.129.13]) by clipper.ens.fr (8.8.7/jb-1.1) id DAA12620 ; Sat, 13 Mar 1999 03:43:27 +0100 (MET) Received: from localhost (monniaux@localhost) by brick.ens.fr (8.8.7/jb-1.1) id DAA01610 ; Sat, 13 Mar 1999 03:43:26 +0100 (MET) X-Authentication-Warning: brick.ens.fr: monniaux owned process doing -bs Date: Sat, 13 Mar 1999 03:43:26 +0100 (MET) From: David Monniaux X-Sender: monniaux@brick.ens.fr To: Wolfram Kahl cc: Liste CAML Subject: Re: List.filter in Ocaml 2.02 In-Reply-To: <19990312101049.6512.qmail@diogenes.informatik.unibw-muenchen.de> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: weis On 12 Mar 1999, Wolfram Kahl wrote: > The fact that this is reported to work anyway, implies > that the compiler shares these common subexpressions ``[]'', > and this gets me asking: If I'm not mistaken, the reason is much more trivial. [] is a 0-ary constructor and is as such stored as an unboxed integer. Two unboxed integers of the same value are "physically equal". :-) Regards, D. Monniaux