[cvs-nhc98] patch applied (hat): 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.
Malcolm Wallace
Malcolm.Wallace at cs.york.ac.uk
Tue Oct 10 07:30:05 EDT 2006
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
More information about the Cvs-nhc98
mailing list