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