Fatal error: exception Ctype.Unify(_, _)

Fatal error: exception Ctype.Unify(_, _)

[Richard Jones]

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.

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.

Rich.

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

Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)

[Damien Doligez]

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

Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)

[Richard Jones]

I've submitted a bug report here:

http://caml.inria.fr/mantis/view.php?id=3918

Can someone try and reproduce this, just to check I don't have
something very strange with my install?

Rich.

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

Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)

[Alessandro Baretta]

Richard Jones wrote:
> I've submitted a bug report here:
> 
> http://caml.inria.fr/mantis/view.php?id=3918
> 
> Can someone try and reproduce this, just to check I don't have
> something very strange with my install?
> 
> Rich.
> 


alex@alex:~/dl/product_types$ ocamlc -version
3.09.1+dev4 (2005-12-02)
alex@alex:~/dl/product_types$ ./make.sh

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:

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.

Alex

-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>

Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)

[Alessandro Baretta]

Richard Jones wrote:
> Which version of OCaml are you using?
> 
> Rich.

Ah, I grow old … I grow old …
I shall wear the bottoms of my trousers rolled.

The following was supposed to be the first line of my previous post.

alex@alex:~/dev/src$ ocamlc -version
3.09.1+dev4 (2005-12-02)

-- 
*********************************************************************
http://www.barettadeit.com/
Baretta DE&IT
A division of Baretta SRL

tel. +39 02 370 111 55
fax. +39 02 370 111 54

Our technology:

The Application System/Xcaml (AS/Xcaml)
<http://www.asxcaml.org/>

The FreerP Project
<http://www.freerp.org/>

Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)

[Richard Jones]

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?

Rich.

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

Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _)

[Richard Jones]

On Tue, Dec 13, 2005 at 09:47:20AM +0000, Richard Jones wrote:
> Which version of OCaml are you using?

Ignore that - I see it in your original posting now.

Rich.

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