* Fatal error: exception Ctype.Unify(_, _) @ 2005-12-11 14:29 Richard Jones 2005-12-12 15:44 ` [Caml-list] " Damien Doligez 0 siblings, 1 reply; 7+ messages in thread From: Richard Jones @ 2005-12-11 14:29 UTC (permalink / raw) To: caml-list 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _) 2005-12-11 14:29 Fatal error: exception Ctype.Unify(_, _) Richard Jones @ 2005-12-12 15:44 ` Damien Doligez 2005-12-12 18:58 ` Richard Jones 0 siblings, 1 reply; 7+ messages in thread From: Damien Doligez @ 2005-12-12 15:44 UTC (permalink / raw) To: caml users 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _) 2005-12-12 15:44 ` [Caml-list] " Damien Doligez @ 2005-12-12 18:58 ` Richard Jones 2005-12-13 8:12 ` Alessandro Baretta 0 siblings, 1 reply; 7+ messages in thread From: Richard Jones @ 2005-12-12 18:58 UTC (permalink / raw) To: Damien Doligez; +Cc: caml users 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _) 2005-12-12 18:58 ` Richard Jones @ 2005-12-13 8:12 ` Alessandro Baretta 2005-12-13 9:47 ` Richard Jones 0 siblings, 1 reply; 7+ messages in thread From: Alessandro Baretta @ 2005-12-13 8:12 UTC (permalink / raw) To: Richard Jones; +Cc: Damien Doligez, caml users 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/> ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _) 2005-12-13 8:12 ` Alessandro Baretta @ 2005-12-13 9:47 ` Richard Jones 2005-12-13 9:36 ` Alessandro Baretta 2005-12-13 9:59 ` Richard Jones 0 siblings, 2 replies; 7+ messages in thread From: Richard Jones @ 2005-12-13 9:47 UTC (permalink / raw) To: Alessandro Baretta; +Cc: Damien Doligez, caml users 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _) 2005-12-13 9:47 ` Richard Jones @ 2005-12-13 9:36 ` Alessandro Baretta 2005-12-13 9:59 ` Richard Jones 1 sibling, 0 replies; 7+ messages in thread From: Alessandro Baretta @ 2005-12-13 9:36 UTC (permalink / raw) To: Richard Jones; +Cc: Damien Doligez, caml users 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/> ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Caml-list] Fatal error: exception Ctype.Unify(_, _) 2005-12-13 9:47 ` Richard Jones 2005-12-13 9:36 ` Alessandro Baretta @ 2005-12-13 9:59 ` Richard Jones 1 sibling, 0 replies; 7+ messages in thread From: Richard Jones @ 2005-12-13 9:59 UTC (permalink / raw) To: caml-list 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 ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2005-12-13 9:36 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2005-12-11 14:29 Fatal error: exception Ctype.Unify(_, _) Richard Jones 2005-12-12 15:44 ` [Caml-list] " Damien Doligez 2005-12-12 18:58 ` Richard Jones 2005-12-13 8:12 ` Alessandro Baretta 2005-12-13 9:47 ` Richard Jones 2005-12-13 9:36 ` Alessandro Baretta 2005-12-13 9:59 ` Richard Jones
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox