[GHC] #9182: Empty case analysis for function clauses

[GHC]

#9182: Empty case analysis for function clauses
-------------------------------------+------------------------------------
        Reporter:  dfranke           |            Owner:
            Type:  feature request   |           Status:  new
        Priority:  low               |        Milestone:
       Component:  Compiler          |          Version:  7.8.2
      Resolution:                    |         Keywords:
Operating System:  Unknown/Multiple  |     Architecture:  Unknown/Multiple
 Type of failure:  None/Unknown      |       Difficulty:  Unknown
       Test Case:                    |       Blocked By:
        Blocking:                    |  Related Tickets:
-------------------------------------+------------------------------------

Comment (by dfranke):

 Yes, with EmptyCase active I would take any type declaration without an
 accompanying binding as denoting an empty definition, and then issue a
 warning about an inexhaustive pattern match later on when appropriate.

 Having to write the empty case expression doesn't prevent you from doing
 anything. It just adds clutter, and allowing empty case analysis in some
 syntactic contexts but not others is an unnecessary inconsistency.

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