[GHC] #7964: GADTs in Haskell98 style

[GHC]

#7964: GADTs in Haskell98 style
-----------------------------+----------------------------------------------
Reporter:  wvv               |          Owner:  wvv                    
    Type:  feature request   |         Status:  new                    
Priority:  normal            |      Component:  Compiler (Type checker)
 Version:  7.6.3             |       Keywords:                         
      Os:  Unknown/Multiple  |   Architecture:  Unknown/Multiple       
 Failure:  Other             |      Blockedby:                         
Blocking:                    |        Related:                         
-----------------------------+----------------------------------------------

Comment(by wvv):

 Oh, I see , "7.10. Equality constraints".

 The main idea was to give the possibility write GADTs in H98 style (with
 or without
 `-XGADTs`).

 Thanks!

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