On Thursday 28 April 2005 18:06, Olivier Andrieu wrote:
>  > Alex Baretta [Thu, 28 Apr 2005]:
>  > Actually, an interesting question related to this one is why the
>  > following line behaves as it does.
>  >
>  > # (==) (==) (==);;
>  > - : bool = false
>
> Probably because == is defined by an "external" in pervasives.ml, not
> a regular function definition. So here, when you use (==), you're
> building three closures.

# let f = (==) in (==) f f;;
- : bool = true

Interesting. I don't like it, but it's interesting. :-)

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists