[cvs-nhc98] patch applied (hat): Fix a bug in hat-trail related to the file format.

[Malcolm Wallace]

Fri Apr 26 03:24:32 PDT 2002  malcolm
  * Fix a bug in hat-trail related to the file format.
  
    * getResult() now takes a boolean to determine whether to stop if
      it finds a Hidden.  The rule is that a direct call of getResult()
      (i.e. to find the RHS of an equation) should stop if it immediately
      finds a Hidden, because the full result is not known.  However, a
      recursive call of getResult() within itself should follow Hidden
      pointers, because if we are already inside an application, then the
      result of the Hidden is relevant.
  
  Also, in artutils.[ch], introduce a second file handle for the
  .hat file.  One is for sequential access, the other for random access.

    M ./src/hattools/HatTrail.hs -4 +4
    M ./src/hattools/LowLevel.hs -3 +9
    M ./src/hattools/artutils.c -141 +254
    M ./src/hattools/artutils.h -9 +20