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-13 (09:24)
From: Richard Jones <rich@a...>
Subject: Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)
On Tue, Dec 13, 2005 at 09:12:23AM +0100, Alessandro Baretta wrote:
> ocamlc -I +equeue -I +netstring -I +netclient -I +pxp-lex-iso88591 -I 
> +pxp-engine -c oCSoap.mli
> File "oCSoap.mli", line 26, characters 4-73:
> Unbound type constructor Pxp_document.node
> ocamlc -I +equeue -I +netstring -I +netclient -I +pxp-lex-iso88591 -I 
> +pxp-engine -c oCSoap.ml
> File "oCSoap.ml", line 10, characters 4-73:
> Unbound type constructor Pxp_document.node
> ocamlc -c product_types.ml
> File "product_types.ml", line 3, characters 0-11:
> Unbound module OCSoap
> Does this mean anything to you? However, let me add the following:

It looks like you have PXP installed in a non-standard place.  I was
trying to avoid extra dependencies (ie. findlib), but I guess that
once you've installed the whole of ocamlnet + PXP, you might as well
have findlib installed too ..

> alex@alex:~/dl/product_types$ ocamlfind ocamlc -package 
> equeue,netstring,netclient,pxp-lex-iso88591,pxp-engine -c oCSoap.mli
> alex@alex:~/dl/product_types$ ocamlfind ocamlc -package 
> equeue,netstring,netclient,pxp-lex-iso88591,pxp-engine -c oCSoap.ml
> alex@alex:~/dl/product_types$ ocamlc -c product_types.ml
> Fatal error: exception Ctype.Unify(_, _)
> (Program not linked with -g, cannot print stack backtrace)
> I've added this message as a note to the bug report in Mantis.

Good -- looks like it's not just my imagination then :-)

Which version of OCaml are you using?


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