English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2005-12-12 (15:44)
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
> 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  
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