projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove comment.
[ghc-hetmet.git]
/
compiler
/
types
/
Generics.lhs
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
; 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
rep_kind = liftedTypeKind `mkArrowKind` liftedTypeKind
-- `appT` = D a b