Re: [Caml-list] exceptions and the polymorphic equality

[eijiro_sumii@anet.ne.jp]

From: Nils Goesche <cartan@cartan.de>
> I can't see any ``issue'' here:
> 
> # e == e';;
> - : bool = false
> 
> # try raise e with e -> ();;
> - : unit = ()

Is this a kind of sophisticated joke or something?:-) It catches _any_
exception.

From: Nils Goesche <cartan@cartan.de>
> OTOH, we also have
> 
> # 2 == 2;;
> - : bool = true
> # 2.0 == 2.0;;
> - : bool = false
> 
> So, this still doesn't seem like a bug to me...

I've never said or even thought that "Foo == Foo" being false is a
bug; it just implies that constant exceptions are not "simple
single-word" objects (like integers and constant constructors) in
OCaml, I suppose, as floats are not.

	Eijiro
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr