[GHC] #595: Overhaul GHC's overlapping/non-exhaustive pattern checking

[GHC]

#595: Overhaul GHC's overlapping/non-exhaustive pattern checking
------------------------------------------------+---------------------------
  Reporter:  simonmar                           |          Owner:  marcotmarcot    
      Type:  task                               |         Status:  new             
  Priority:  normal                             |      Milestone:  _|_             
 Component:  Compiler                           |        Version:  None            
Resolution:  None                               |       Keywords:  warnings        
Difficulty:  Difficult (2-5 days)               |             Os:  Unknown/Multiple
  Testcase:  N/A                                |   Architecture:  Unknown/Multiple
   Failure:  Incorrect warning at compile-time  |  
------------------------------------------------+---------------------------

Comment(by simonpj):

 Excellent!  Please also consult http://www.cs.cmu.edu/~neelk/pattern-
 popl09.pdf

 Also do not forget about view patterns

 Simon

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