5 Mar
2017
5 Mar
'17
7:23 p.m.
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