malcolm: Fri Apr 26 12:24:33 CEST 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv19051 Modified Files: HatTrail.hs LowLevel.hs artutils.c artutils.h Log Message: 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.