[cvs-nhc98] patch applied (hat): Record trusted partial application of partially applied constructors.

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


Wed Apr 11 03:08:52 PDT 2001  olaf
  * Record trusted partial application of partially applied constructors.
  
  If in a trusted application the function was a partial application of a data constructor, then this trusted application was not recorded in the trace.
  E.g.  map ((,) 1) [2,3] showed only hidden nodes as elements of the result list. Changed fileformat.c so that data constructors are always untrusted (independent of their definition module). Then the aforementioned applications are recorded in the trace.
  
  Also changed PreludeDebug.hs so that oversaturated applications in trusted code are only recorded in the trace if the result of the saturated application is untrusted.
  
  Trace files become slightly (~1%) larger than before without noticeable effect on speed.

    M ./src/old/runtime/fileformat.c -2 +2


More information about the Cvs-nhc98 mailing list