[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.

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