X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsDecls.lhs;h=b1c64efc6fea2f2a05f3e005391585fe9efc8b18;hb=d38a30cb5e7a946f7a5e02fb6e601d2d37ea4374;hp=1822b58775adff36686358916c593737595b9c05;hpb=5d0b2bba1dfc0b2786162927ed7b3d4911f1cc54;p=ghc-hetmet.git

diff --git a/compiler/hsSyn/HsDecls.lhs b/compiler/hsSyn/HsDecls.lhs
index 1822b58..b1c64ef 100644
--- a/compiler/hsSyn/HsDecls.lhs
+++ b/compiler/hsSyn/HsDecls.lhs
@@ -373,12 +373,16 @@ data TyClDecl name
 		tcdFoType   :: FoType
     }
 
+	-- type/data/newtype family T :: *->*
   | TyFamily {  tcdFlavour:: FamilyFlavour,	        -- type, new, or data
 		tcdLName  :: Located name,	        -- type constructor
 		tcdTyVars :: [LHsTyVarBndr name],	-- type variables
 		tcdKind   :: Maybe Kind			-- result kind
     }
 
+	-- Declares a data type or newtype, giving its construcors
+	-- 	data/newtype T a = <constrs>
+	--	data/newtype instance T [a] = <constrs>
   | TyData {	tcdND     :: NewOrData,
 		tcdCtxt   :: LHsContext name,	 	-- Context
 		tcdLName  :: Located name,	 	-- Type constructor
@@ -406,9 +410,6 @@ data TyClDecl name
 			-- Typically the foralls and ty args are empty, but they
 			-- are non-empty for the newtype-deriving case
     }
-	-- data instance: tcdPats = Just tys
-	--
-	-- data:	  tcdPats = Nothing, 
 
   | TySynonym {	tcdLName  :: Located name,	        -- type constructor
 		tcdTyVars :: [LHsTyVarBndr name],	-- type variables