[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 igloo):

  * owner:  => simonpj
  * milestone:  => 6.14.1


Comment:

 Thanks for the report.

 See also #3927.

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