[cvs-nhc98] patch applied (hat): Top-level trusted cafs get names.
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