[GHC] #10746: No non-exhaustive pattern match warning given for empty case analysis

[GHC]

#10746: No non-exhaustive pattern match warning given for empty case analysis
-------------------------------------+-------------------------------------
        Reporter:  bgamari           |                   Owner:
            Type:  bug               |                  Status:  new
        Priority:  normal            |               Milestone:
       Component:  Compiler          |                 Version:  7.10.2
      Resolution:                    |                Keywords:
Operating System:  Unknown/Multiple  |            Architecture:
 Type of failure:  Incorrect         |  Unknown/Multiple
  warning at compile-time            |               Test Case:
      Blocked By:                    |                Blocking:
 Related Tickets:  #7669             |  Differential Revisions:
-------------------------------------+-------------------------------------
Changes (by bgamari):

 * status:  closed => new
 * resolution:  duplicate =>


Comment:

 To be clear, the problem here is that we *are* in fact missing cases in
 the example cited above. In the case of #7669 the compiler was complaining
 despite the fact that the user cannot provide any cases (as we are
 matching against an empty type).

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