[cvs-nhc98] Introduced specially marked lonely Sats

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


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

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

Modified Files:
	DbgId.hs DbgTrans.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).