[cvs-nhc98] Fix a bug in hat-trail related to the file format.

[Malcolm Wallace]

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.