[MLton-user] doc update

[Matthew Fluet]

On Wed, 21 Nov 2007, Sean McLaughlin wrote:
>  It appears the documentation on annotations is out of date.  There is no
> longer a nonexhaustiveExnMatch.

Can you be more specific?  It works fine for me:

[fluet at wolfpup tmp]$ cat z.mlb
$(SML_LIB)/basis/basis.mlb
ann "nonexhaustiveExnMatch ignore" in
    z.sml
end
[fluet at wolfpup tmp]$ mlton
MLton 20070826 (built Wed Aug 29 09:44:07 2007 on silver-star.cs.uchicago.edu)
[fluet at wolfpup tmp]$ mlton z.mlb