Re: [GHC] #15525: Unicode 8.0 and later characters are invariably lexical errors