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

[GHC]

#13990: Core Lint error on empty case
-------------------------------------+-------------------------------------
        Reporter:  mbieleck          |                Owner:  (none)
            Type:  bug               |               Status:  patch
        Priority:  highest           |            Milestone:  8.2.3
       Component:  Compiler          |              Version:  8.2.1-rc3
      Resolution:                    |             Keywords:  core-lint
                                     |  case
Operating System:  Unknown/Multiple  |         Architecture:
 Type of failure:  Compile-time      |  Unknown/Multiple
  crash or panic                     |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D4160
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Ben Gamari <ben@…>):

 In [changeset:"6b52b4c832f888f7741a4ba0fec1fdac10244f6d/ghc"
 6b52b4c8/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="6b52b4c832f888f7741a4ba0fec1fdac10244f6d"
 Remove unreliable Core Lint empty case checks

 Trac #13990 shows that the Core Lint checks for empty case are
 unreliable, and very hard to make reliable. The consensus (among
 simonpj, nomeata, and goldfire) seems to be that they should be
 removed altogether. Do that.

 Add test

 Reviewers: goldfire, bgamari

 Reviewed By: bgamari

 Subscribers: rwbarton, thomie

 GHC Trac Issues: #13990

 Differential Revision: https://phabricator.haskell.org/D4161
 }}}

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13990#comment:17>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler