[MLton] mlb support

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


> > 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.
>
> Maybe.  Although it's lots of flags, it does seem nice to be able to
> have a master control on the command line.  Perhaps we could use two
> flags with lots of options?
>
> 	-enable-ann {warnMatch|warnUnunsed|sequenceUnit}
> 	-disable-ann {warnMatch|warnUnunsed|sequenceUnit}

Why would we need both -enable and -disable?  By -enable, you don't mean
to force the option, overriding an annotation?