[GHC] #5813: Offer a compiler warning for failable pattern matches

[GHC]

#5813: Offer a compiler warning for failable pattern matches
---------------------------------+------------------------------------------
    Reporter:  snoyberg          |       Owner:                  
        Type:  feature request   |      Status:  new             
    Priority:  normal            |   Milestone:  7.6.1           
   Component:  Compiler          |     Version:  7.2.2           
    Keywords:                    |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |     Failure:  None/Unknown    
  Difficulty:  Unknown           |    Testcase:                  
   Blockedby:                    |    Blocking:                  
     Related:                    |  
---------------------------------+------------------------------------------

Comment(by snoyberg):

 Dynamic typing is also a "right useful behavior" for some people. It can
 remove the need for some typing (both meanings intended) and make code
 shorter. Critics of dynamic typing generally counter that static typing
 can move a whole class of errors from runtime bugs to things which can be
 caught at compile time. I believe the same logic applies here.

 I'm not arguing to have this behavior removed from GHC; I'm asking for an
 option to be added for those of us wanting a little more safety in our
 code.

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