[cvs-nhc98] patch applied (hat): Reenabled cutting of expressions at certain depth in hat-observe and hat-detect.

[Malcolm Wallace]

Fri Feb 15 08:40:08 PST 2002  olaf
  * Reenabled cutting of expressions at certain depth in hat-observe and hat-detect.
  Try to always show at least function when showing an application. But all is still a big hack. The preset depth of 6 is good for terms but bad for strings.

    M ./src/hattools/HatDetect.hs -1 +20
    M ./src/hattools/HatExpressionTree.hs -4 +4
    M ./src/hattools/HatObserve.hs -5 +5
    M ./src/hattools/PrettyExp.hs -4 +6