On 04/12/2018 15:59, [email protected] wrote:> Digging
into the issue it might be that the polyml in question uses 32 bit
addressing an that is the problem.
How can I check whether a polyml is 32 or 64 bit?
PolyML.architecture() or Word.wordSize . The value of Word.wordSize
will be 31 in 32 bit mode or 63 in 64 bit mode.
If you are using the 32-bit version you will be limited to less than
4Gbytes whatever you do.
David
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
