Re: [GHC] #10578: ghci line numbers are off by one