[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            |      Component:  Compiler (Type checker)                       
  Version:  7.0.4             |       Keywords:  GADTs, TypeFamilies, ExistentialQuantification
       Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple                              
  Failure:  None/Unknown      |       Testcase:                                                
Blockedby:                    |       Blocking:                                                
  Related:                    |  
------------------------------+---------------------------------------------

Comment(by ryani):

 Minor typo in bug submission:

 {{{
 data T a = (a ~ ()) => T
 }}}

 It's correct in the attachment.

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