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: 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
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

(it compiles fine).

This affects 3.08.3 and 3.09.0.


Richard Jones, CTO Merjis Ltd.
Merjis - web marketing and technology -
Team Notepad - intranets and extranets for business -