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