Re: [GHC] #15373: core-spec.pdf contains parse errors