feature request for MLton.

[Stephen Weeks]

> What are the chances of getting support for this #line directive (a
> formal comment) into MLton.  (The exact syntax of the directive
> doesn't matter, although it would be convenient if the two compilers
> accepted the same syntax.)

I am pleased to report that the chances are 100%.  I just added it.  I took the
lexer stuff from SML/NJ, so it should be compatible.  You can wait to use it
with the next MLton release or, if you want to use it now, it is easy for us to
make an RPM.  Let us know which you want.