Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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(_, _)

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
> 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  
and never get fixed.

The right way to report bugs is by using our new BTS:
< >

-- Damien