[GHC] #2006: unreachable GADT pattern clauses show up as warnings with -Wall

[GHC]

#2006: unreachable GADT pattern clauses show up as warnings with -Wall
----------------------+-----------------------------------------------------
 Reporter:  ryani     |          Owner:             
     Type:  bug       |         Status:  new        
 Priority:  normal    |      Milestone:  6.10 branch
Component:  Compiler  |        Version:  6.8.1      
 Severity:  normal    |     Resolution:             
 Keywords:            |     Difficulty:  Unknown    
 Testcase:            |   Architecture:  Unknown    
       Os:  Unknown   |  
----------------------+-----------------------------------------------------
Changes (by simonpj):

  * milestone:  6.8 branch => 6.10 branch

Comment:

 Quite right.  The "non-exhaustive pattern" warning comes from a part of
 the compiler that needs a serious overhaul.  See #595.  In particular,
 it's utterly unaware of GADTs, so it's going to produce spurious warnings,
 and will continue to do so until it is overhauled.

 We definitely won't fix this on the 6.8 branch.  Probably it needs a
 volunteer.

 Simon

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