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

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