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

[Nils Goesche <cartan@cartan.de>]

eijiro_sumii@anet.ne.jp writes:

> 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 which it follows as sure as hell that it'll catch the one you
wanted to catch, right?

Okok, I goofed, forget about it :-)

> 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.

Apparently.

Regards,
-- 
Nils Goesche
"Don't ask for whom the <CTRL-G> tolls."

PGP key ID 0x42B32FC9

-------------------
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