[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