[MLton] runtime optimization flags?

[Vesa Karvonen]

Quoting Matthew Fluet <fluet at cs.cornell.edu>:
[...]
> > I'm getting the following error compiling after the Makefile patch:
> >
> > Error: ../lib/mlton/basic/file-desc.sml 14.32.
> >  Function applied to incorrect argument.
> >    expects: _ * (_ -> [word])
> >    but got: _ * (_ -> [Word64.word])
> >    in: o (Word.layout, fdToWord)
> >         parseAndElaborate raised in 2.83 + 1.01 (26% GC)
> 
> What platform?  I was able to self-compile on both x86-linux and 
> x86-darwin without problems.

Oops!  I was accidentally compiling the trunk with MLton compiled
from the 64-bit branch.  I had this unusual (for me) setup because
of the experiments I did with the PackWord stuff.

So, unless something really weird is going on, then you should be
able to reproduce the above error by compiling the trunk MLton with
a 64-bit MLton.  AFAIU, the error reflects an assumption (looks
like SysWord = Word) that is no longer valid with the 64-bit MLton.
I don't know whether or not this needs fixing.

Anyway, I'm usually compiling on a 32-bit x86-linux (Debian "testing"
distribution).

-Vesa Karvonen