#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