Re: List.filter in Ocaml 2.02

From: David Monniaux (monniaux@clipper.ens.fr)
Date: Sat Mar 13 1999 - 03:43:26 MET


Date: Sat, 13 Mar 1999 03:43:26 +0100 (MET)
From: David Monniaux <monniaux@clipper.ens.fr>
To: Wolfram Kahl <kahl@diogenes.informatik.unibw-muenchen.de>
Subject: Re: List.filter in Ocaml 2.02
In-Reply-To: <19990312101049.6512.qmail@diogenes.informatik.unibw-muenchen.de>

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



This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:21 MET