+ -- (args, mk) <- from_sum res_ty scrut r
+
+ -- let result = wrapFamInstBody pdata_tc var_tys
+ -- . mkConApp pdata_dc
+ -- $ map Type var_tys ++ args
+
+ -- return $ Lam arg (mk result)
+ where
+ var_tys = mkTyVarTys $ tyConTyVars vect_tc
+ el_ty = mkTyConApp vect_tc var_tys
+
+ [pdata_con] = tyConDataCons pdata_tc
+
+ from_sum _ res _ EmptySum = return (res, [])
+ from_sum res_ty res expr (UnarySum r) = from_con res_ty res expr r
+ from_sum res_ty res expr (Sum { repr_psum_tc = psum_tc
+ , repr_sel_ty = sel_ty
+ , repr_con_tys = tys
+ , repr_cons = cons })
+ = do
+ sel <- newLocalVar (fsLit "sel") sel_ty
+ ptys <- mapM mkPDataType tys
+ vars <- newLocalVars (fsLit "xs") ptys
+ (res', args) <- fold from_con res_ty res (map Var vars) cons
+ let scrut = unwrapFamInstScrut psum_tc tys expr
+ body = mkWildCase scrut (exprType scrut) res_ty
+ [(DataAlt psum_con, sel : vars, res')]
+ return (body, Var sel : args)
+ where
+ [psum_con] = tyConDataCons psum_tc
+
+
+ from_con res_ty res expr (ConRepr _ r) = from_prod res_ty res expr r
+
+ from_prod _ res _ EmptyProd = return (res, [])
+ from_prod res_ty res expr (UnaryProd r)
+ = from_comp res_ty res expr r
+ from_prod res_ty res expr (Prod { repr_ptup_tc = ptup_tc
+ , repr_comp_tys = tys
+ , repr_comps = comps })
+ = do
+ ptys <- mapM mkPDataType tys
+ vars <- newLocalVars (fsLit "ys") ptys
+ (res', args) <- fold from_comp res_ty res (map Var vars) comps
+ let scrut = unwrapFamInstScrut ptup_tc tys expr
+ body = mkWildCase scrut (exprType scrut) res_ty
+ [(DataAlt ptup_con, vars, res')]
+ return (body, args)
+ where
+ [ptup_con] = tyConDataCons ptup_tc
+
+ from_comp _ res expr (Keep _ _) = return (res, [expr])
+ from_comp _ res expr (Wrap ty)
+ = do
+ wrap_tc <- builtin wrapTyCon
+ (pwrap_tc, _) <- pdataReprTyCon (mkTyConApp wrap_tc [ty])
+ return (res, [unwrapNewTypeBody pwrap_tc [ty]
+ $ unwrapFamInstScrut pwrap_tc [ty] expr])
+
+ fold f res_ty res exprs rs = foldrM f' (res, []) (zip exprs rs)
+ where
+ f' (expr, r) (res, args) = do
+ (res', args') <- f res_ty res expr r
+ return (res', args' ++ args)
+
+buildPRDict :: TyCon -> TyCon -> TyCon -> SumRepr -> VM CoreExpr
+buildPRDict vect_tc prepr_tc _ r
+ = do
+ dict <- sum_dict r
+ pr_co <- mkBuiltinCo prTyCon
+ let co = mkAppCoercion pr_co
+ . mkSymCoercion
+ $ mkTyConApp arg_co ty_args
+ return (mkCoerce co dict)
+ where
+ ty_args = mkTyVarTys (tyConTyVars vect_tc)
+ Just arg_co = tyConFamilyCoercion_maybe prepr_tc
+
+ sum_dict EmptySum = prDFunOfTyCon =<< builtin voidTyCon
+ sum_dict (UnarySum r) = con_dict r
+ sum_dict (Sum { repr_sum_tc = sum_tc
+ , repr_con_tys = tys
+ , repr_cons = cons
+ })
+ = do
+ dicts <- mapM con_dict cons
+ dfun <- prDFunOfTyCon sum_tc
+ return $ dfun `mkTyApps` tys `mkApps` dicts
+
+ con_dict (ConRepr _ r) = prod_dict r
+
+ prod_dict EmptyProd = prDFunOfTyCon =<< builtin voidTyCon
+ prod_dict (UnaryProd r) = comp_dict r
+ prod_dict (Prod { repr_tup_tc = tup_tc
+ , repr_comp_tys = tys
+ , repr_comps = comps })
+ = do
+ dicts <- mapM comp_dict comps
+ dfun <- prDFunOfTyCon tup_tc
+ return $ dfun `mkTyApps` tys `mkApps` dicts
+
+ comp_dict (Keep _ pr) = return pr
+ comp_dict (Wrap ty) = wrapPR ty
+
+
+buildPDataTyCon :: TyCon -> TyCon -> SumRepr -> VM TyCon
+buildPDataTyCon orig_tc vect_tc repr = fixV $ \repr_tc ->
+ do
+ name' <- cloneName mkPDataTyConOcc orig_name
+ rhs <- buildPDataTyConRhs orig_name vect_tc repr_tc repr
+ pdata <- builtin pdataTyCon
+
+ liftDs $ buildAlgTyCon name'
+ tyvars
+ [] -- no stupid theta
+ rhs
+ rec_flag -- FIXME: is this ok?
+ False -- FIXME: no generics
+ False -- not GADT syntax
+ (Just $ mk_fam_inst pdata vect_tc)
+ where
+ orig_name = tyConName orig_tc
+ tyvars = tyConTyVars vect_tc
+ rec_flag = boolToRecFlag (isRecursiveTyCon vect_tc)
+
+
+buildPDataTyConRhs :: Name -> TyCon -> TyCon -> SumRepr -> VM AlgTyConRhs
+buildPDataTyConRhs orig_name vect_tc repr_tc repr
+ = do
+ data_con <- buildPDataDataCon orig_name vect_tc repr_tc repr
+ return $ DataTyCon { data_cons = [data_con], is_enum = False }
+
+buildPDataDataCon :: Name -> TyCon -> TyCon -> SumRepr -> VM DataCon
+buildPDataDataCon orig_name vect_tc repr_tc repr
+ = do
+ dc_name <- cloneName mkPDataDataConOcc orig_name
+ comp_tys <- sum_tys repr
+
+ liftDs $ buildDataCon dc_name
+ False -- not infix
+ (map (const HsNoBang) comp_tys)
+ [] -- no field labels
+ tvs
+ [] -- no existentials
+ [] -- no eq spec
+ [] -- no context
+ comp_tys
+ (mkFamilyTyConApp repr_tc (mkTyVarTys tvs))
+ repr_tc