Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2007-04-08 10:04:33 -0700 (Sun, 08 Apr 2007)
Revision: 10374
Log message:

      Better checking of name definitions.
     
     Darcs is an unmitigated disaster.  Two problems:
        1. Frequent database corruption on MacOSX.  Corruption
           is unrecoverable.
        2. "darcs pull" doesn't terminate.  This means that
           it is impossible to perform a merge.  I only
           changed 15 lines of code!
     
     To get around problem #1, I have to work on Linux.
     
     For #2, I take a very explicit approach.
        - Place markers around code to be modified (*YYY*)...(*/YYY*)
        - Add new code with explicit markers (*XXX*)...(*/XXX*)
        - Delete old code and all markers.
     This seems to help darcs figure out where the changes
     are.  And it is pretty painful too.