[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).