Version française
Home     About     Download     Resources     Contact us    
Browse thread
A nastier example
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Marcin 'Qrczak' Kowalczyk <qrczak@k...>
Subject: Re: [Caml-list] A nastier example
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/