[MLton] PowerPC/AIX regression in trunk

[Ville Laurikari]

On Sun, Jun 24, 2007 at 07:20:17AM -0500, Matthew Fluet wrote:
> I added more type-checking to the RSSA and Machine ILs a couple of
> months ago.
> Could you try compiling with "-show-types true"?

Here we go, "mlton -type-check true -show-types true regression/1.sml":
  invalid operand: OW8 (x_0, 3): [Word2, Bits6]
  invalid statement: x_1: [Word2, Bits6] = OW8 (x_0, 3): [Word2, Bits6]
  invalid block: L_0 (x_0: Objptr (opt_11)) Jump =
                   x_2: Objptr (opt_11) = OP (x_0, 4): Objptr (opt_11)
                   x_1: [Word2, Bits6] = OW8 (x_0, 3): [Word2, Bits6]
                   L_1 (x_2, x_1)
  Rssa.typeCheck


--
http://www.iki.fi/vl/