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
