Re: [Sml-implementers] Integer overflow

[David M. <Dav...@pr...>]

On Tuesday, July 30, 2002, at 09:54 , Dave Berry wrote:

> 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?

Poly/ML still uses arbitrary precision integer.  I've done a few 
experiments with fixed precision integer and the difference in speed is 
negligible so it doesn't seem worth adding a separate fixed precision 
type.

David