[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:                         
-----------------------------+----------------------------------------------
Changes (by wvv):

  * owner:  => wvv


Comment:

 Nice!

 But it isn't documented yet.

 Please add it either
 http://lambda.haskell.org/platform/doc/current/ghc-doc/users_guide/type-
 families.html

 http://lambda.haskell.org/platform/doc/current/ghc-doc/users_guide/data-
 type-extensions.html#gadt

 http://lambda.haskell.org/platform/doc/current/ghc-doc/users_guide/data-
 type-extensions.html#gadt-style

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