[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 simonpj@…):

 commit 3eb6e211dec006f3609dd880cbef83ee2ad719de
 {{{
 Author: Simon Peyton Jones <simonpj at microsoft.com>
 Date:   Mon Aug 20 14:28:00 2012 +0100

     When pattern matching against a constructor with equalities,
     require either -XGADTs *or* -XTypeFamilies (rather than only the
 former)

     Fixes Trac #7156

  compiler/typecheck/TcPat.lhs |   10 ++++++----
  1 files changed, 6 insertions(+), 4 deletions(-)
 }}}

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