NewType -> ASSERT( not (null data_cons) )
mkNewTyConRhs rep_tc_name rep_tycon (head data_cons)
; buildAlgTyCon rep_tc_name t_tvs stupid_theta tc_rhs Recursive
- False h98_syntax NoParentTyCon (Just (fam_tycon, t_typats))
+ h98_syntax NoParentTyCon (Just (fam_tycon, t_typats))
-- We always assume that indexed types are recursive. Why?
-- (1) Due to their open nature, we can never be sure that a
-- further instance might not introduce a new recursive
(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
--------------------------------------------------------------------------------