[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