records bug

[Tom 7]

I don't know if you care about these kinds of bugs (I saw the disclaimer),
but this one bit me today:

fun f (a, b) = ()

val _ = f {bogus=1, wrong=2}

MLton accepts this program; I guess the names of record fields aren't
checked if the types are compatible.

BTW, I just rewote the "Reverse a File" benchmark at the Programming
Languages Shootout page (Stephen Weeks, I know you've been submitting some
too!); now mlton is tied for second place overall with o'caml. Nice job!

 - Tom 7

[ Tom 7 : http://www.andrew.cmu.edu/~twm/ ]
[ Tom 7 : http://fonts.tom7.com/          ]