X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FGenerics.lhs;h=d1e1f324c9950ae2a1fb472d25d0c067f1113e4b;hp=68a41f84a2a839f02aab533bfc6a30532bcbac42;hb=d872133bb986dbd15959cbb14504bf9a863e3e4a;hpb=1b381af863d64aaa0a4dd9c816170c58e6131a9e

diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs
index 68a41f8..d1e1f32 100644
--- 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
+{-
                    (mkCoercionTyCon coName (tyConArity tycon)
-                     -- co : forall a b. Rep (D a b) ~ `rep0Ty` a b
                      (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
 
 --------------------------------------------------------------------------------