[cvs-nhc98] patch applied (hat): Top-level trusted cafs get names.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:03:43 EDT 2006


Wed Apr 25 10:25:33 PDT 2001  olaf
  * Top-level trusted cafs get names.
  
  Top-level trusted cafs (such as concat and unlines) now have a name node in the trace, so that this name can be shown. Note that only top-level trusted cafs can be called from suspected code (that local trusted cafs might be returned to suspected code is irrelevant; because this code is trusted, it should not be shown (just a hidden tag)).
  
  Something similar should probably be done for top-level trusted pattern bindings. However, these need some redesign in other respects also.
  
  Also changed transformation so that no source reference table entries for empty source references (noPos) are created.

    M ./src/compiler98/DbgId.hs -3 +3
    M ./src/compiler98/DbgTrans.hs -14 +67


More information about the Cvs-nhc98 mailing list