Re: [GHC] #1620: Bug in debugger 6.7.20070817