using mosml as a frontend for MLton

[Stephen Weeks]

> When you say mosml as a front end for MLton, I would think you mean for
> things like type checking.  I.e., a human would do it, not the MLton compiler
> (although perhaps automatically).  Are you thinkinf of something more radical
> as he (Sestoft) is assuming?

I am thinking of integrating their frontend code within the MLton sources for
the purposes of type checking.  Depending on how hard it is, it might be be
better than rolling our own.