Anthony, I'm copying the mailing list to my replies because this is of general interest.
On 10/02/2016 16:02, Anthony Fox wrote:
I just occurred to me that I could have done:
structure Int :> INTEGER = IntInf
if I wanted IntInf everywhere (rather than having the choice of fixed ot arbitrary). I still think it would be nice to have a command line option for this? At the very least, this way of getting the old behaviour should be advertised.
That would work if you use the Int structure but there are lots of places that pick up the default "int". For instance, if you have an overloaded function: fun f x y = x+y; that will fall back to the default "int". Also, all the library functions that use "int" e.g. Array.sub, String.size, List.length or TextIO.inputN, will still have the fixed precision int.
I'm inclined to think that having a "configure" option would be the answer. David