[MLton] Patch to make ML-Yacc output line directives

[Vesa Karvonen]

On Dec 18, 2007 5:49 AM, Matthew Fluet <fluet at tti-c.org> wrote:
> On Tue, 18 Dec 2007, Vesa Karvonen wrote:
> > While browsing code with the def-use mode, it is somewhat annoying to
> > end up in some generated file, such as a file generated by mlyacc.
>
> I've also found it annoying when trying to track down type-errors in
> semantic actions from mlyacc grammers.  The patch has my vote.  (Although
> I haven't tried it.)

Thanks!  I tweaked the patch to ML-Yacc to minimize unnecessary
changes and also implemented (and committed) the same feature for
ML-Lex.

I must say that, IMHO, the implementations of ML-Yacc and ML-Lex are
in need of refactoring...  I didn't want to go there, however,
especially since projects like ml-ulex and ml-antlr already exist.

-Vesa Karvonen