[MLton-user] doc update

[Sean McLaughlin]

Hi Matthew,

Oh, I'm sorry!  I got the syntax wrong.  I was using "error" instead
of "default"

Sean

On Nov 21, 2007 3:14 PM, Matthew Fluet <fluet at tti-c.org> wrote:
> 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
>
>
>