Mon Jun 10 09:13:51 PDT 2002 olaf * 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. M ./src/compiler98/TraceTrans.hs -5 +8 M ./src/hatlib/Hat.hs -4 +12 M ./src/hattrans/TraceTrans.hs -5 +8