[MLton] Compile time options bug

[Neophytos Michael]

The documentation (http://mlton.org/CompileTimeOptions) seems to imply that the
following command line options are legal, yet mlton generates an error message
(see below).   If I issue the disable-ann directive twice with 'forceUsed' and
again with 'warnUnused" then all is fine.  This is with version:

MLton 20041109 (built Tue Nov 09 15:33:07 2004 on cygwin)

Neophytos

-------------------------------------------------------------------------
$ mlton -target self -verbose 1 -stop tc -disable-ann 'forceUsed, warnUnused'
sources_mlton.cm 
invalid -disable-ann flag: forceUsed, warnUnused
usage: mlton [option ...] file.{c|cm|mlb|o|sml} [file.{c|o|s|S} ...]
    -align {4|8}                   object alignment
    -cc-opt <opt>                  pass option to C compiler
    -codegen {native|bytecode|c}   which code generator to use
    -const '<name> <value>'        set compile-time constant
.
.
.
-------------------------------------------------------------------------



		
__________________________________ 
Do you Yahoo!? 
Yahoo! Mail - 250MB free storage. Do more. Manage less. 
http://info.mail.yahoo.com/mail_250