Re: [GHC] #3476: Compiler warning about non-exhaustive pattern match with GADT and type-signature

#3476: Compiler warning about non-exhaustive pattern match with GADT and type-
signature
----------------------------------------+-----------------------------------
    Reporter:  Ashley Yakeley           |        Owner:         
        Type:  bug                      |       Status:  closed 
    Priority:  normal                   |    Milestone:         
   Component:  Compiler (Type checker)  |      Version:  6.10.4 
    Severity:  normal                   |   Resolution:  fixed  
    Keywords:                           |   Difficulty:  Unknown
    Testcase:                           |           Os:  Linux  
Architecture:  x86_64 (amd64)           |  
----------------------------------------+-----------------------------------
Changes (by simonpj):

  * status:  new => closed
  * difficulty:  => Unknown
  * resolution:  => fixed

Comment:

 Happily this already works in the HEAD (and hence in the upcoming 6.12
 release)

 Simon

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