[MLton] MinGW + x86_64

Wesley W. Terpstra wesley@terpstra.ca
Fri, 12 May 2006 14:26:11 +0200


On May 11, 2006, at 1:56 PM, Matthew Fluet wrote:
> That would have been my first hypothesis as well, but it is  
> incorrect. The IL dump does say where the type error occurred; it  
> is the first few lines of the dump before "let exception  
> Bind ...".  I see from the dump that the XML type-checker is  
> complaining about:
>
>    val IRGRP: word32 =
>       0x20
>    val irgrp: word16 =
>       IRGRP
>
> However, if I look at the core-ML code before the defunctorize  
> pass, I see:
>
>   val IRGRP: word16 = 0x20,
>
> So, for some reason, the defunctorize pass is changing the type of  
> IRGRP (and other constants) from word16 to word32.  That isn't the  
> behavior I expect.

This problem also occures on osx, after I tweak the signedness there  
to get it to compile. It really works under linux?? :-) Any idea what  
might cause this? I have never touched anything as deep in the  
compiler as the XML IL...