[MLton] mlb support

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

> > On the other hand, there could be situation where you would not see
> > a warning when compiling with -warn-match false -stop tc and would
> > see the warning when compiling with just -warn-match false.
> Perhaps we need two flags
>   -enable-warn-match {false|true}
> 	Governs whether there can be match warnings at all.
>   -warn-match {false|true}
> 	The default warnMatch annotation for mlbs.

If we provide enable for warn-match, then I would want it for other
annotations, like warn-unused and sequence-unit.  Maybe that is o.k.

> 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.