[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  |  
------------------------------------------------+---------------------------
Changes (by marcotmarcot):

  * owner:  => marcotmarcot


Comment:

 I'm studying the source code related to the bug, and I have read the
 [http://pauillac.inria.fr/~maranget/papers/warn/index.html pointed paper].
 I'm
 [http://www2.dcc.ufmg.br/laboratorios/llp/wiki/doku.php?id=pattern_matching_in_ghc
 describing my progress in this page].

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