Re: [GHC] #13990: Core Lint error on empty case