[cvs-nhc98] patch applied (hat): Permit arity-raising of
cafs/functions in hat-observe. Unfortunately,
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:20:23 EDT 2006
Thu Jul 11 08:01:24 PDT 2002 malcolm
* Permit arity-raising of cafs/functions in hat-observe. Unfortunately,
the equations you see can be confusing, so this feature should be
considered experimental. For instance, if
f x = g x
g x y = x+y
then observing `f' shows e.g. `f 1 = g 1', but observing `f _ _' shows
e.g. `g 1 2 = 3', not `f 1 2 = 3' as you might expect.
This commit also fixes the `:set recursive off' bug whereby observing
`f in f' showed the non-recursive calls of f instead of the recursive
ones.
M ./src/hattools/HatObserve.hs -7 +11
M ./src/hattools/Observe.hs -9 +10
M ./src/hattools/Pattern.hs -7 +17
M ./src/hattools/observeutils.c -10 +17
M ./src/hattools/observeutils.h -2 +3
More information about the Cvs-nhc98
mailing list