[cvs-nhc98] Permit arity-raising of cafs/functions in hat-observe. Un

[Malcolm Wallace]

malcolm: Thu Jul 11 17:01:24 CEST 2002

Update of /usr/src/master/nhc/src/hat/tools
In directory hinken:/tmp/cvs-serv17947

Modified Files:
	HatObserve.hs Observe.hs Pattern.hs observe.c observe.h 
Log Message:
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.