Julien Verlaguet <Julien.Verlaguet@pps.jussieu.fr> writes:

> I received many mails (in private), explaining to me how the equality
> works in OCaml, how exceptions are represented etc ...
> Which is not what I was asking, I will try to reformulate :
>
> Is this the behaviour we want ?
>
> Can two values of different types be equal ?

They don't have different types. They both have type exn.

-- 
   __("<         Marcin Kowalczyk
   \__/       qrczak@knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/