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

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