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 _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml