[MLton] mlb support

Matthew Fluet fluet@cs.cornell.edu
Tue, 27 Jul 2004 14:36:17 -0400 (EDT)


> > > Or perhaps we should just add a new -stop, "elab".
> >
> > That is another option.  Although it is a little tough to describe exactly
> > what -stop elab does compared to -stop tc.
>
> "all of type checking except for match compilation"
>
> If that's accurate, perhaps a better name would be "tc-no-match".

I think I'm favoring this option.  Note that with implicitly wrapping a
.sml file as an mlb expression, to get the elaborateOnly behavior, one
would need to compile with -disable-ann warnMatch, which seems kind of odd
when compiling a .sml file.