On Sun, Sep 21, 2008 at 05:43:59PM +0200, Thomas Schilling wrote:
> I realised that defaultErrorHandler ended up with the wrong type after
> my refactorings to be useful. This patch should go into both head and
> stable,
Thanks, applied to both.
> but I had an unexplained validate heisenbug. br
I realised that defaultErrorHandler ended up with the wrong type after
my refactorings to be useful. This patch should go into both head and
stable, but I had an unexplained validate heisenbug. break008 failed
with
--- ./ghci.debugger/scripts/break008.stdout.normalised 2008-09-21
11:21:45.0