#3013: New simple GADT feature
---------------------------------+------------------------------------------
Reporter: guest | Owner: simonpj
Type: feature request | Status: closed
Priority: normal | Milestone: 6.12.1
Component: Compiler | Version: 6.10.1
Severity: normal | Resolution: fixed
Keywords: | Difficulty: Unknown
Testcase: gadt/T3013 | Os: Unknown/Multiple
Architecture: Unknown/Multiple |
---------------------------------+------------------------------------------
Changes (by simonpj):
* status: new => closed
* resolution: => fixed
Comment:
Good idea. Implemented (and documented) by
{{{
Thu May 28 08:53:06 BST 2009 [email protected]
* Fix Trac #3013: multiple constructors in a GADT decl
Makes GADT syntax consistent by allowing multiple constructors
to be given a single signature
data T wehre
A, B :: T
C :: Int -> t
M ./compiler/parser/Parser.y.pp -6 +10
M ./compiler/parser/RdrHsSyn.lhs -5 +13
M ./docs/users_guide/glasgow_exts.xml +10
}}}
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3013#comment:3>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
