[GHC] #4139: Spurious non-exhaustive pattern match warnings are given using GADTs

[GHC]

#4139: Spurious non-exhaustive pattern match warnings are given using GADTs
--------------------------------------------------+-------------------------
    Reporter:  blarsen                            |        Owner:  simonpj     
        Type:  bug                                |       Status:  new         
    Priority:  normal                             |    Milestone:  6.14.1      
   Component:  Compiler                           |      Version:  6.12.3      
    Keywords:  GADTs, warnings, pattern matching  |   Difficulty:              
          Os:  Unknown/Multiple                   |     Testcase:              
Architecture:  Unknown/Multiple                   |      Failure:  None/Unknown
--------------------------------------------------+-------------------------
Changes (by kfrdbs):

 * cc: kfrdbs@… (added)


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