[cvs-nhc98] patch applied (hat): Extended hat-explore: if the computation aborted with a run-time error, then hat-explore starts now by default at the reduction causing the error, not the reduction of main.

[Malcolm Wallace]

Thu Nov  4 11:50:38 PST 2004  olaf
  * Extended hat-explore: if the computation aborted with a run-time error, then hat-explore starts now by default at the reduction causing the error, not the reduction of main.
  
  Thus hat-explore covers hat-trail.

    M ./src/hattools/HatExplore.hs -7 +11