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