[Sml-implementers] Integer overflow

[Dave B. <dav...@bt...>]

Out of interest, which implementations do and do not check for overflow on
integer operations?  I know that MLj and SML.NET definitely do not.  I've
heard rumours that MLton does not; are these rumours correct?  Poly/ML uses
intinf as the default integer type (at least it used to -- I haven't seen
recent versions); does it support any other size of int?

Yours curiously,

Dave.