Wed Jan 26 07:48:34 PST 2005 olaf * Removed bug in hat-explore: it couldn't deal with computations that aborted with a run-time error in a trusted function. The error node is a Hidden node, so have to look at its parent. Still, the result of pattern match failure of "head" is not _|_ but {?}. Have to enquire why there is a circle Hidden -> Forward -> same Hidden -> ... M ./src/hattools/HatExplore.hs -1 +11