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.