X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FhsSyn%2FHsDecls.lhs;fp=ghc%2Fcompiler%2FhsSyn%2FHsDecls.lhs;h=c977496aa9a39dbeb5273f2d9f0d73157f4bf3b9;hb=87998bebdee5e97a19c52a2e33cd394cdf9c0c57;hp=1f67f6e8a81b3aa7ae2791a1ced7c2079d1d57c2;hpb=84b434c5c07ce864353cdf9780873555daad3b47;p=ghc-hetmet.git

diff --git a/ghc/compiler/hsSyn/HsDecls.lhs b/ghc/compiler/hsSyn/HsDecls.lhs
index 1f67f6e..c977496 100644
--- a/ghc/compiler/hsSyn/HsDecls.lhs
+++ b/ghc/compiler/hsSyn/HsDecls.lhs
@@ -500,6 +500,18 @@ instance Outputable NewOrData where
 \begin{code}
 type LConDecl name = Located (ConDecl name)
 
+-- data T b = forall a. Eq a => MkT a b
+--   MkT :: forall b a. Eq a => MkT a b
+
+-- data T b where
+--	MkT1 :: Int -> T Int
+
+-- data T = Int `MkT` Int
+--	  | MkT2
+
+-- data T a where
+--	Int `MkT` Int :: T Int
+
 data ConDecl name
   = ConDecl
     { con_name      :: Located name	    -- Constructor name; this is used for the