[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...