[MLton] Non-exhaustive exn fn match

[Matthew Fluet]

> > This has the advantage that you get wiki markup, rather than the
> > bulkier HTML.
> 
> Then you need a local web server and MoinMoin setup.  A bit much for a
> lot of people.  It would be nice to have a standalone tool that
> translates the markup into HTML.

Oh, I simply meant that reading the wiki markup is no harder, and in some 
cases (e.g., example code) easier than viewing the rendered HTML.

In any case, I think wget is good enough to get the HTML.