[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