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-11 (14:06)
From: Richard Jones <rich@a...>
Subject: Fatal error: exception Ctype.Unify(_, _)
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.

ie: with OC-SOAP, but without PXP:

rich@oirase:~/d/merjis/freeware/ocsoap/interop$ ocamlfind ocamlc -I .. -c product_types.ml
Fatal error: exception Ctype.Unify(_, _)

but specifying PXP correctly:

rich@oirase:~/d/merjis/freeware/ocsoap/interop$ ocamlfind ocamlc -package pxp-lex-iso88591,pxp-engine -I .. -c product_types.ml

(it compiles fine).

This affects 3.08.3 and 3.09.0.


Richard Jones, CTO Merjis Ltd.
Merjis - web marketing and technology - http://merjis.com
Team Notepad - intranets and extranets for business - http://team-notepad.com