[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