On 09/03/2019 21:10, Rob Arthan wrote:
OK. Is there a way of telling whether poly has been built with --enable-compact32bit? (So you can check whether you got what you wanted.)
PolyML.architecture();
val it = "X86_64_32": string
Word.wordSize;
val it = 31: int
LargeWord.wordSize;
val it = 64: int
David