[MLton] PowerPC/AIX regression in trunk
Ville Laurikari
ville at laurikari.net
Sun Jun 24 00:14:49 PDT 2007
Hi,
In preparation for the summer release, I've been recently building
trunk for PowerPC/AIX and HPPA/HPUX. 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
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).
--
http://www.iki.fi/vl/
More information about the MLton
mailing list