Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-generics
http://hackage.haskell.org/trac/ghc/changeset/99e9c36b2df186dc28c946517579487373d8659a >--------------------------------------------------------------- commit 99e9c36b2df186dc28c946517579487373d8659a Author: Jose Pedro Magalhaes <[email protected]> Date: Mon May 23 15:54:55 2011 +0200 Remove comment. >--------------------------------------------------------------- compiler/types/Generics.lhs | 6 +----- 1 files changed, 1 insertions(+), 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 _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
