[cvs-nhc98] patch applied (hat): Hat: Make a correct implementation of SATs B/C.

[Malcolm Wallace]

Mon Mar 12 08:15:30 PST 2001  malcolm
  * Hat: Make a correct implementation of SATs B/C.
      * For efficiency, SAT Bs are not written to file - they are kept
        in memory in a stack discipline.  (Writing a SAT C == pop.)
      * Also for efficiency, SAT Cs are not written to file immediately.
        We keep a large buffer of them, then write all at once.  The SAT C
        now overwrites its SAT A in the file, as it should do.
      * On termination, we need to ripple through any remaining SAT Bs
        and SAT Cs, making a final patch-up to the file.  At this point,
        we /do/ overwrite SAT As with SAT Bs, for black-hole detection.

    M ./src/old/runtime/fileformat.c -27 +85
    M ./src/old/runtime/fileformat.h -3 +5