Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] exceptions and the polymorphic equality
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ 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