[MLton-user] Unable to build a Win64 hosted version of MLton

[Nicolas Bertolotti]

Hi,

I tried to build a Win64 hosted version of MLton (in order to build, on Windows, some code that cause MLton to run out of memory using the Win32 hosted version).

At the very end of the build process, during the type checking of the basis libraries, I get the following error:
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 508.85.
  Int8 too big: 0.
Error: y: \mlton-src\build\lib\sml\basis\integer\int-inf0.sml 532.88.
  Int16 too big: 0.
Error: y: \mlton-src\build\lib\sml\basis\integer\int-inf0.sml 556.88.
  Int32 too big: 0.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 704.47.
  Int8 too big: 0.
Error: y: \mlton-src\build\lib\sml\basis\integer\int-inf0.sml 711.44.
  Int8 too big: 0.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 758.48.
  Int16 too big: 0.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 765.45.
  Int16 too big: 0.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 812.48.
  Int32 too big: 0.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 819.45.
  Int32 too big: 0.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 898.81.
  Int32 too big: 8.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 899.77.
  Int32 too big: 8.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 900.76.
  Int32 too big: 8.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 901.85.
  Int32 too big: 8.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 927.52.
  Word32 too big: 0wx1.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 1048.33.
  Word32 too big: 0wx1.
Error: y:\mlton-src\build\lib\sml\basis\integer\int-inf0.sml 1097.57.
  Int32 too big: 0.
compilation aborted: elaborate reported errors
make: *** [basis] Error 1

It seems that there is some kind of overflow somewhere that breaks the whole stuff but I could not locate the issue.

I remember that, a few monthes ago, I experienced some issues using 64 bit types (note: in 32 bit binaries) that I also could not fix but for which I implemented the following workaround:
"
structure Int64 =
struct
    open Int64;
    fun fromInt(x) = Int64.fromLarge(LargeInt.fromInt(x));
end;
"
...  maybe it has the same root cause.

Any thoughts?

Thanks in advance

Nicolas


-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mlton.org/pipermail/mlton-user/attachments/20110506/4d991eb9/attachment.htm