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: | Xavier Urbain <Xavier.Urbain@l...> |
| Subject: | Re: [Caml-list] exceptions and the polymorphic equality |
On July 16, 2001, Nils Goesche wrote:
> # e == e';;
> - : bool = false
>
> # try raise e with e -> ();;
> - : unit = ()
>
> Isn't that just fine?
>
Indeed but the fact that Foo was defined twice makes
# e = e'
- : bool = false
look weird.
Xavier Urbain
---------------------------------------------------------------
L.R.I., Bât 490 mailto: Xavier.Urbain@lri.fr
Université de Paris-Sud phoneto: (33) 1 69 15 42 32
F-91405 Orsay cedex faxto: (33) 1 69 15 65 86
http://www.lri.fr/demons/urbain/introduction.fr.html
---------------------------------------------------------------
-------------------
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