[cvs-nhc98] cvs commit: hat/src/hatlib/Hat Hat.hs

[olaf@glass.cse.ogi.edu]

olaf        2003/04/25 03:12:08 PDT

  Modified files:
    src/hatlib/Hat       Hat.hs 
  Log:
  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
  
  Revision  Changes    Path
  1.7       +15 -15    hat/src/hatlib/Hat/Hat.hs