[MLton] Non-exhaustive exn fn match

Matthew Fluet fluet@cs.cornell.edu
Mon, 18 Jul 2005 12:08:08 -0400 (EDT)


> BTW, is there a direct way to take a local snapshot of the MLton Wiki?
> (Well, I can use wget, of course.)

wget is probably your best bet.

There is a "wiki" tool in the CVS repository that lets you checkout/commit
wiki pages.  I wrote a little script to use that tool to checkout every
wiki page.  This has the advantage that you get wiki markup, rather than
the bulkier HTML.

GetAll.sh:
*****
#!/usr/bin/env bash

rm -f Index files
lynx -dump 'http://mlton.org/Index?action=titleindex' > Index
cat Index | grep -v 'MoinEditorBackup' > files
rm -f Index
cat files | xargs wiki checkout 
rm -f Index files
*****