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

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