Fix Trac #3013: multiple constructors in a GADT decl
authorsimonpj@microsoft.com <unknown>
Thu, 28 May 2009 07:53:06 +0000 (07:53 +0000)
committersimonpj@microsoft.com <unknown>
Thu, 28 May 2009 07:53:06 +0000 (07:53 +0000)
commit6e0f552430600d95768c1668b6d458c71a52f2d4
tree344b89b4d6f55a7ee858ec01eb9fe4e387eb1386
parent5eb2190d2aebc6e1a11780a43d31cbc7e831dd78
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
compiler/parser/Parser.y.pp
compiler/parser/RdrHsSyn.lhs
docs/users_guide/glasgow_exts.xml