Version française
Home     About     Download     Resources     Contact us    
Browse thread
Fatal error: exception Ctype.Unify(_, _)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Damien Doligez <damien.doligez@i...>
Subject: Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)
Hello,

On Dec 11, 2005, at 15:29, Richard Jones wrote:

> Is this error ever supposed to be seen:
>
> Fatal error: exception Ctype.Unify(_, _)
>
> I can reproduce it using the code at
> http://www.annexia.org/tmp/product_types.ml
> but only when I accidentally compiled it without the right libraries.

No.  A "Fatal error" message from the compiler is always the result of
a bug.  Please note (and this is addressed to everyone on the list) that
this mailing list is not the right channel for reporting bugs.  When you
report a bug here, it is likely to fall through the cracks, get  
forgotten,
and never get fixed.

The right way to report bugs is by using our new BTS:
< http://caml.inria.fr/mantis/main_page.php >

-- Damien