X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2Ftypes%2FGenerics.lhs;h=57b26556c86b284769c70dcf4186d8b507816822;hb=99e9c36b2df186dc28c946517579487373d8659a;hp=f4afda59991b315b2c24499ca977d08a9d3191a4;hpb=d7fb8d371d3228774331a67db8da805b2d68f1c4;p=ghc-hetmet.git

diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs
index f4afda5..57b2655 100644
--- a/compiler/types/Generics.lhs
+++ b/compiler/types/Generics.lhs
@@ -135,11 +135,7 @@ tc_mkRepTyCon tycon metaDts =
      ; let -- `tyvars` = [a,b]
            tyvars  = tyConTyVars tycon
 
-           -- rep0Ty has kind `kind of D` -> *
-           --      rep_kind = tyConKind tycon `mkArrowKind` liftedTypeKind
-	   --      SLPJ The above type looks quite wrong to me! 
-	   --           The kind sig in the comment for rep0Ty looks right
-	   --	   
+           -- rep0Ty has kind * -> *
            rep_kind = liftedTypeKind `mkArrowKind` liftedTypeKind
 
            -- `appT` = D a b