[MLton] PowerPC/AIX regression in trunk

[Matthew Fluet]

Ville Laurikari wrote:
> In preparation for the summer release, I've been recently building
> trunk for PowerPC/AIX and HPPA/HPUX.  

Thanks for trying things out on these platforms.

 > Everything compiles cleanly on
> AIX, but many regression tests fail with this:
> 
>   invalid operand: OW8 (x_0, 3)
>   invalid statement: x_1 = OW8 (x_0, 3)
>   invalid block: L_0 (x_0) Jump =
>                    x_2 = OP (x_0, 4)
>                    x_1 = OW8 (x_0, 3)
>                    L_1 (x_2, x_1)
>   Rssa.typeCheck

I added more type-checking to the RSSA and Machine ILs a couple of 
months ago.
Could you try compiling with "-show-types true"?
And send me (off-list)
   build/lib/self/constants
   build/lib/sml/basis/config/c/aix-ppc
That will let me reconstruct the program as it appears on your platform.

> For example, "build/bin/mlton -type-check true regression/1.sml"
> results in this error.  When compiled without "-type-check true" the
> resulting programs seem to work (at least the few I've tried so far).

That was my experience too, when I was beefing up the type-checker.
I think I only discovered one instance where the IL program had a real 
error; the rest of the cases needed to change the type-checker to handle 
irregularities in the IL.