olaf: Wed Apr 25 19:25:32 CEST 2001 Update of /usr/src/master/nhc/include In directory hinken:/tmp/cvs-serv26130/include Modified Files: Prelude.T.hi Log Message: 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.