From: Jose Pedro Magalhaes <jpm@cs.uu.nl>
Date: Mon, 23 May 2011 13:54:55 +0000 (+0200)
Subject: Remove comment.
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=99e9c36b2df186dc28c946517579487373d8659a

Remove comment.
---

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