[cvs-nhc98] Introduced specially marked lonely Sats

User olaf olaf@sparud.net
Tue, 8 May 2001 19:29:21 +0200 (CEST)


olaf: Tue May  8 19:29:21 CEST 2001

Update of /usr/src/master/nhc/src/prelude/PreludeDebug
In directory hinken:/tmp/cvs-serv1861/src/prelude/PreludeDebug

Modified Files:
	HatArchive.hs PreludeDebug.hs 
Log Message:
Introduced specially marked lonely Sats

Sats that don't come with a preceding application or name have the bit with value 8 set. This shall enable hat-detect and hat-observe to show reductions correctly and not be confused by applications/names without Sats that a followed by an unrelated Sat by chance.
Small changes in many files. The SatB stack and the SatC queue need additional entry for the sort of a caf (lonely or not).