projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix some small things broken with the last merge.
[ghc-hetmet.git]
/
compiler
/
types
/
Generics.lhs
diff --git
a/compiler/types/Generics.lhs
b/compiler/types/Generics.lhs
index
68a41f8
..
d1e1f32
100644
(file)
--- a/
compiler/types/Generics.lhs
+++ b/
compiler/types/Generics.lhs
@@
-202,10
+202,12
@@
tc_mkRepTyCon tycon metaDts =
(tyConKind tycon `mkArrowKind` liftedTypeKind)
tyvars (SynonymTyCon rep0Ty)
(FamInstTyCon rep0 appT
(tyConKind tycon `mkArrowKind` liftedTypeKind)
tyvars (SynonymTyCon rep0Ty)
(FamInstTyCon rep0 appT
+{-
(mkCoercionTyCon coName (tyConArity tycon)
(mkCoercionTyCon coName (tyConArity tycon)
- -- co : forall a b. Rep (D a b) ~ `rep0Ty` a b
(CoAxiom tyvars (mkTyConApp rep0 appT) rep0Ty)))
(CoAxiom tyvars (mkTyConApp rep0 appT) rep0Ty)))
-
+-}
+ -- co : forall a b. Rep (D a b) ~ `rep0Ty` a b
+ (CoAxiom uniq2 coName tyvars (mkTyConApp rep0 appT) rep0Ty))
return res
--------------------------------------------------------------------------------
return res
--------------------------------------------------------------------------------