Comment author: administrator

Compiling PXP (with new installations of the latest versions of all its
support libraries) using ocaml 3.05 under OSX, I get this:

ocamlfind ocamlopt -package "netstring" -c pxp_document.ml
Fatal error: exception Assert_failure("typing/ctype.ml", 49467, 49479)

Is this a known problem? Is there a workaround?

Not known, I believe.
However, I couldn't reproduce this bug with the current CVS ocaml,
using pxp-1.1.5 and ocamlnet-0.93.
So I hope it was solved magically...

OK, I hope so too... (By the way, for the record, I was also using
pxp-1.1.5 and ocamlnet-0.93. And the standard 3.05 source distribution.)

B

Comment author: administrator

Compiling PXP (with new installations of the latest versions of all its
support libraries) using ocaml 3.05 under OSX, I get this:

ocamlfind ocamlopt -package "netstring" -c pxp_document.ml
Fatal error: exception Assert_failure("typing/ctype.ml", 49467, 49479)

Is this a known problem? Is there a workaround?

Not known, I believe.
However, I couldn't reproduce this bug with the current CVS ocaml,
using pxp-1.1.5 and ocamlnet-0.93.
So I hope it was solved magically...

Jacques

Comment author: administrator

Dear Benli,

Compiling PXP (with new installations of the latest versions of all its
support libraries) using ocaml 3.05 under OSX, I get this:

ocamlfind ocamlopt -package "netstring" -c pxp_document.ml
Fatal error: exception Assert_failure("typing/ctype.ml", 49467, 49479)

Is this a known problem? Is there a workaround?

Gerd Stolpmann reported this problem within 24h of the 3.05 release.
On his (and ours) machines, it manifests itself as a segmentation
fault in the compiler. It's actually a GC bug. At any rate, this is
fixed in 3.06.

Cheers,

• Xavier

Comment author: administrator

Same bug as #3472.