Archives of the Caml mailing list > Message from David Monniaux

Browse thread

Objective Caml 2.02

Xavier Leroy
- Pierpaolo Bernardi
- Daniel de Rauglaudre
- Alexey Nogin
  - Xavier Leroy
    - Alexey Nogin
      - Xavier Leroy
    - Alexey Nogin
      - Anton Moscal
        
        Alexey Nogin
        
        Anton Moscal
- Alexey Nogin
  - Wolfram Kahl
    - David Monniaux
    - Alexey Nogin
  - Jean-Francois Monin
    - Alexey Nogin
  - Alexey Nogin
    - Jean-Francois Monin

Date:	-- (:)
From:	David Monniaux <monniaux@c...>
Subject:	Re: List.filter in Ocaml 2.02

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