[GHC] #2431: Allow empty case analysis

[GHC]

#2431: Allow empty case analysis
-------------------------------------+-------------------------------------
        Reporter:  RalfHinze         |            Owner:
            Type:  feature request   |           Status:  closed
        Priority:  low               |        Milestone:  ⊥
       Component:  Compiler          |          Version:  6.8.3
      Resolution:  fixed             |         Keywords:  empty case
Operating System:  Unknown/Multiple  |  analysis
 Type of failure:  None/Unknown      |     Architecture:  Unknown/Multiple
       Test Case:                    |       Difficulty:  Unknown
  deSugar/should_compile/T2431       |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+-------------------------------------

Comment (by Herbert Valerio Riedel <hvr@…>):

 In [changeset:"a97f90cecb6351a6db5a62c1551fcbf079b0acdd/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="a97f90cecb6351a6db5a62c1551fcbf079b0acdd"
 Add Data.Void to base (re #9814)

 This adds the module `Data.Void` (formerly provided by Edward Kmett's
 `void`
 package) to `base`.

 The original Haskell98 compatible implementation has been modified to use
 modern GHC features (among others this makes use of `EmptyCase` as
 motivated by #2431), and `vacuousM` was dropped since it's redundant now
 with the AMP in place.  Instances for classes not part of `base` had to be
 dropped as well.

 TODO: Documentation could be improved

 Reviewed By: ekmett, austin

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

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