Using PolyML 5.5.0 as downloaded from Sourceforge, we can reliably produce:
Exception- InternalError: indirect - invalid constant address raised while compiling Exception- InternalError: indirect - invalid constant address raised while compiling We can also regularly, but somewhat less reliably, produce hol.builder: gc_mark_phase.cpp:199: bool MTGCProcessMarkPointers::ForkNew(PolyObject*): Assertion `marker != 0' failed. Aborted (core dumped) where hol.builder is the name of our dumped heap. Are there any obvious things we can try to get around these problems? Thanks, Michael
signature.asc
Description: OpenPGP digital signature
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
