[cvs-nhc98] patch applied (hat): Hat-trans/library: changed recording of trusted constants

[Malcolm Wallace]

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