Re: [GHC] #7882: #line with empty filename leads to crash