From 99e9c36b2df186dc28c946517579487373d8659a Mon Sep 17 00:00:00 2001 From: Jose Pedro Magalhaes Date: Mon, 23 May 2011 15:54:55 +0200 Subject: [PATCH] Remove comment. --- compiler/types/Generics.lhs | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) 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 -- 1.7.10.4