[MLton] flattening

[Matthew Fluet]

> Where would I
> pass my -flatten true flag in the makefile for the benchmarks?

You should add a new BFLAGS:

BFLAGS = mlton "mlton -flatten {false,true}"

That will pick up the mlton on your path (so adjust as necessary); the
{X,Y,Z} notation will expand out to one benchmark run with
  mlton -flatten false
and one with
  mlton -flatten true

> Hopefully, if there are no sneaky bugs left, I should have some initial
> results for everyone shortly. Over the weekend I plan to sart writting a
> paper about our flattening ideas. If there is interest I can post a
> summary of the changes as well as our ideas.

Absolutely post your ideas and changes.  We'd all be really interested in
hearing about them.