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