[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 goldfire):

 I'm a little confused here. What, exactly, isn't documented? thoughtpolice
 has just combined the `(~)` syntax with the old syntax... I don't see any
 undocumented features here.

 Also, I should note that, even though the definition of `Foo` above
 compiles without `-XGADTs`, you won't be able to pattern-match on it
 without enabling the extension. To my mind, it's a small infelicity that
 GHC accepts `Foo` without `-XGADTs`, but probably not worth doing much
 about.

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