[cvs-nhc98] patch applied (hat): Write traced reductions called from untraced code correctly to trace.

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:12:58 EDT 2006


Mon Feb  4 06:29:28 PST 2002  olaf
  * Write traced reductions called from untraced code correctly to trace.
  
  Example: filter myEven [1..10]; myEven x = x
  filter is untraced, but because myEven is traced the reductions
  myEven 1 = False, myEven 2 = True, ...
  should be in the trace.
  The "fun?" combinators responsible for this wrote the application but not the following Sat pointing to the result into the trace. After changing that it works.
  
  However, hat-detect cannot find such kind of children and hat-trail does not seem to have any trace pointing to them either; the trail is rather weird.
  
  Note that if myEven is defined as "myEven = even", then hat-observe myEven will only return
  myEven = even
  which is correct but not terribly useful.

    M ./src/hatlib/Hat.hs -5 +12


More information about the Cvs-nhc98 mailing list