mysql now works again
mysql version of dict-suggest
tweak (attempt to get chmod +x checkfiles checked in)
ah...
  svn 'svn:executable' set on checkfiles
was the right way to do it
tweaked README
 - implemented 'as' and 'hastype' for case patterns (the
pattern-matching compiler can handle them anywhere in a pattern, but
the parser needs modifying in order to support 'as' patterns anywhere
other than at the top-level of a pattern)
Three failing tests: we should reject multiple occurrences of the same
name in a single pattern.
Some opinions on patterns and type annotations.
Note some bugs, include more FIXMEs in `make fixme'
Added:
  domSetAttributeFromRef, dom{SG}etStyleAttrFromRef primitives
  onEVENTpage handlers for page-level event catching (experimental)
  Frame-dragging demo (still incomplete)

  alertDialog for specifically getting js alert() behavior
implement duplicate name check for patterns
Build a custom camlp4 for "deriving" instead of loading the bytecode
files into the standard camlp4 each time it's invoked.  This is less
flexible but quite a bit faster.  (Thanks, Thierry!)
Build custom camlp4 by default.
Remove extra L from SQLLITE
Remove extra semicolons.
Added timer for the main function
Pushed kappa into the arg list of a function (uncurried)
Handle type annotations in JS compilation
Remove obsolete domutate
_start is now distinct from _replaceDocument
Fixify js target (uncurrying contin. args was not fully carried through).
Uncurry remote-call stubs.
 - fixed a longstanding bug where the imperative environment used for
converting from inference_types to types was not being reset
 - added a setting for displaying raw type variables (as numbers
rather than letters
 - added a setting to allow negative recursive types to be inferred
(on by default)
JS generation: create object literals rather than using extend where
possible.  This reduces the time for Ezra's mandelbrot demo from 11.4s
to 10.0s on my machine.

Implemented using the rewriting mechanism, which might be useful for
other JS code transformations.