Browse thread
[Caml-list] exceptions and the polymorphic equality
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | eijiro_sumii@a... |
| Subject: | Re: [Caml-list] exceptions and the polymorphic equality |
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