Re: [GHC] #12917: Location info for error message with multiple source locations