- embed_tc <- builtin embedTyCon
- embed_dc <- builtin embedDataCon
- cross_tc <- builtin crossTyCon
- cross_dc <- builtin crossDataCon
- plus_tc <- builtin plusTyCon
- left_dc <- builtin leftDataCon
- right_dc <- builtin rightDataCon
-
- let mk_embed (expr, ty, pa)
- = (mkConApp embed_dc [Type ty, pa, expr],
- mkTyConApp embed_tc [ty])
-
- mk_cross (expr1, ty1) (expr2, ty2)
- = (mkConApp cross_dc [Type ty1, Type ty2, expr1, expr2],
- mkTyConApp cross_tc [ty1, ty2])
-
- mk_tup [] = (Var unitDataConId, unitTy)
- mk_tup es = foldr1 mk_cross es
-
- mk_sum [] = ([Var unitDataConId], unitTy)
- mk_sum [(expr, ty)] = ([expr], ty)
- mk_sum ((expr, lty) : es)
- = let (alts, rty) = mk_sum es
- in
- (mkConApp left_dc [Type lty, Type rty, expr]
- : [mkConApp right_dc [Type lty, Type rty, alt] | alt <- alts],
- mkTyConApp plus_tc [lty, rty])
-
- liftM (mk_sum . map (mk_tup . map mk_embed))
- (mapM (mapM init) ess)
+ prod_tycons <- mapM (mk_tycon prodTyCon) rep_tys
+ let prod_tys = zipWith mk_tc_app_maybe prod_tycons rep_tys
+ sum_tycon <- mk_tycon sumTyCon prod_tys
+
+ return $ TyConRepr {
+ repr_tyvars = tyvars
+ , repr_tys = rep_tys
+
+ , repr_prod_tycons = prod_tycons
+ , repr_prod_tys = prod_tys
+ , repr_sum_tycon = sum_tycon
+ , repr_type = mk_tc_app_maybe sum_tycon prod_tys
+ }