mlton arguments

[Matthew Fluet]

> Any way, I just tested the mlton shell file, and it should handle  this  case
> fine,  so  my  guess is that you were trying to use an SML/NJ heap containing
> MLton.  I.e., mlton.x86-linux was newer than world.mlton.  If  that  was  NOT
> the case, please tell me.

Well, it was my own fault.  In order to make using different
development versions of MLton a little easier, I had one more shell script
running that wasn't preventing expansion of arguments.  Fixing that fixed
the problem, and it works with both MLton itself and an SML/NJ heap.