From: simonpj@microsoft.com <unknown>
Date: Thu, 28 May 2009 07:53:06 +0000 (+0000)
Subject: Fix Trac #3013: multiple constructors in a GADT decl
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=6e0f552430600d95768c1668b6d458c71a52f2d4;hp=6e0f552430600d95768c1668b6d458c71a52f2d4;p=ghc-hetmet.git

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
---