[GHC] #7156: "Pattern match on GADT" error for non-GADT

[GHC]

#7156: "Pattern match on GADT" error for non-GADT
---------------------------------------------------------------+------------
    Reporter:  ryani                                           |       Owner:                  
        Type:  bug                                             |      Status:  new             
    Priority:  normal                                          |   Milestone:                  
   Component:  Compiler (Type checker)                         |     Version:  7.0.4           
    Keywords:  GADTs, TypeFamilies, ExistentialQuantification  |          Os:  Unknown/Multiple
Architecture:  Unknown/Multiple                                |     Failure:  None/Unknown    
  Difficulty:  Unknown                                         |    Testcase:                  
   Blockedby:                                                  |    Blocking:                  
     Related:                                                  |  
---------------------------------------------------------------+------------

Comment(by ryani):

 I propose "f should typecheck successfully".  Even more concretely, I
 propose that the TypeFamilies extension (which enables equality
 constraints, correct?) should enable pattern matching on types that
 otherwise appear to be GADTs.

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