On 04/03/2017 16:42, Rob Arthan wrote:
I’ve just pulled the latest source. I am experimenting with how to
build ProofPower if the installed Poly/ML has fixed magnitude
integers. I get a bus error when I do:
PolyML.loadModule "modules/IntAsIntInf/IntAsIntInf”;
I've just tried this. I was getting an infinite loop rather than a bus
error and only on 64-bits. I've pushed a fix for that. Has it sorted
out the bus error?
(By the way, why is the configure option called —enable-intinf-as-int but it’s
the other way round in the module name?)
That is inconsistent. I'm not sure which is better.
Regards,
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
