[MLton-devel] Word32.toLargeIntX discrepancy between MLton and SMLNJ

Stephen Weeks MLton@mlton.org
Sat, 13 Jul 2002 08:36:48 -0700


> Hello folks,
> there is a discrepancy between MLton and SMLNJ.
> 
> Word32.toLargeIntX returns IntInf.int in your implementation
> but SML/NJ returns Int32.int.
> 
> The following would trigger it:
> 
> fun bug x = (5 : Int32.int) = Word32.toLargeIntX x
> 
> Sorry I do not have the chance to figure out who is correct, but I can
> try to, if you need help. I appreciate your work and the service you are
> offering to the SML community. 

MLton is correct and SML/NJ is incorrect, because both MLton and
SML/NJ provide IntInf, and the specification says

> The type FixedInt.int is the largest fixed precision integer
> supported, while the type LargeInt.int is the largest integer
> supported. If an implementation provides the IntInf structure, then
> the type LargeInt.intis be the same as IntInf.int.


-------------------------------------------------------
This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
http://thinkgeek.com/sf
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel