projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d9b1118
)
Remove comment.
author
Jose Pedro Magalhaes
<jpm@cs.uu.nl>
Mon, 23 May 2011 13:54:55 +0000
(15:54 +0200)
committer
Jose Pedro Magalhaes
<jpm@cs.uu.nl>
Mon, 23 May 2011 13:54:55 +0000
(15:54 +0200)
compiler/types/Generics.lhs
patch
|
blob
|
history
diff --git
a/compiler/types/Generics.lhs
b/compiler/types/Generics.lhs
index
f4afda5
..
57b2655
100644
(file)
--- 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