[cvs-nhc98] patch applied (hat): Correct bug in parent of traced application demanded by trusted function.

[Malcolm Wallace]

Fri Apr 25 03:12:08 PDT 2003  olaf
  * Correct bug in parent of traced application demanded by trusted function.
  
  For example for
  main = print xs
  
  xs :: [Int]
  xs = map g [1,2,3]
  
  g x = 2 * x
  
  hat-trail showed
  Output: -----------------------------------------------------------------------
  [2,4,6]\n
  
  Trail: ------- no src reference -----------------------------------------------
  <- print [2,4,6]
  <- 2 * 1
  <- g 1
  <- xs
  
  That is, the parent of the traced application "g 1" is not as expected the application of the trusted function "map".
  
  The fault was an incorrect definition of the funi combinators, using the function parent as parent for the application instead of the context parent.
  
  Now it works correctly:
  
  Output: -----------------------------------------------------------------------
  [2,4,6]\n
  
  Trail: ------- no src reference -----------------------------------------------
  <- print [2,4,6]
  <- 2 * 1
  <- g 1
  <- map g [1,2,3]
  <- xs

    M ./src/hatlib/Hat/Hat.hs -15 +15