mosml 2.0 bug report

[Stephen Weeks]

> > I am curious if you have any thoughts on doing this.  The main thing
> > I am worried about is performance (both run time and space).  But I
> > am also interested to hear your thoughts on the simplicity and
> > suitability of the IL that the frontend generates.  Thanks for any
> > info.
> 
> The intermediate language is a standard untyped lambda language
> extended with let, exception handlers etc.  Maybe it's a problem in
> your setting that it's untyped -- I haven't studied MLton internals.

Yes.  As MLton is based on typed ILs, we would definitely need type info.  An
explicitly type-annotated module level program would work well.  I'm just
starting to look into the mosml sources to see if there's anything like that.