[cvs-nhc98] Hat-trans/library: changed recording of trusted constants

[User olaf]

olaf: Mon Jun 10 18:13:52 CEST 2002

Update of /usr/src/master/nhc/src/hat/lib
In directory hinken:/tmp/cvs-serv21967/src/hat/lib

Modified Files:
	Hat.hs 
Log Message:
Hat-trans/library: changed recording of trusted constants 

Now a use of a constant in trusted code no longer records a
ConstUse node. 
In rare cases the value of the constant might be returned from
the trusted code into traced land; if the constant is global,
then its ConstDef is returned to traced land. Hopefully it does
not confuse any tool if an Exp contains a ConstDef directly,
without any intermediate ConstUse.

Filesize of Adjoxe.hat (edgecorner1) is reduced by 3%.
Also hat-observe :i shows less (no?) irritating trusted constants.