Version française
Home     About     Download     Resources     Contact us    
Browse thread
Changes on equality between 3.06 and 3.08.3
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Olivier Andrieu <andrieu@i...>
Subject: Re: [Caml-list] Changes on equality between 3.06 and 3.08.3 
 > 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.

-- 
   Olivier