diff options
| author | Ben Lippmeier <benl@ouroborus.net> | 2011-11-17 12:35:35 +1100 |
|---|---|---|
| committer | Ben Lippmeier <benl@ouroborus.net> | 2011-11-17 12:35:35 +1100 |
| commit | 6096edb265721b6d1b6b8bd399d1bdcd4c66617e (patch) | |
| tree | bdd4ca44dd0c1f2ae017b06befd3c3893cc362e3 | |
| parent | e194712ddadef0f09898a85613a7956b63ff5a6b (diff) | |
| download | haskell-6096edb265721b6d1b6b8bd399d1bdcd4c66617e.tar.gz | |
vectoriser: follow constraint solver changes in vectoriser
| -rw-r--r-- | compiler/vectorise/Vectorise/Generic/PAMethods.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/compiler/vectorise/Vectorise/Generic/PAMethods.hs b/compiler/vectorise/Vectorise/Generic/PAMethods.hs index 6330dddf64..b83e01d57d 100644 --- a/compiler/vectorise/Vectorise/Generic/PAMethods.hs +++ b/compiler/vectorise/Vectorise/Generic/PAMethods.hs @@ -242,7 +242,7 @@ buildToArrPRepr vect_tc prepr_tc pdata_tc _ r return . Lam arg $ mkWildCase scrut (mkTyConApp pdata_tc ty_args) res_ty - [(DataAlt pdata_dc, vars, mkCoerce co result)] + [(DataAlt pdata_dc, vars, mkCast co result)] where ty_args = mkTyVarTys $ tyConTyVars vect_tc el_ty = mkTyConApp vect_tc ty_args @@ -304,7 +304,7 @@ buildFromArrPRepr vect_tc prepr_tc pdata_tc _ r let co = mkAppCo pdata_co $ mkAxInstCo repr_co var_tys - let scrut = mkCoerce co (Var arg) + let scrut = mkCast co (Var arg) let mk_result args = wrapFamInstBody pdata_tc var_tys @@ -398,7 +398,7 @@ buildToArrPReprs vect_tc prepr_tc _ pdatas_tc r return $ Lam varg $ mkWildCase scrut (mkTyConApp pdatas_tc ty_args) res_ty - [(DataAlt pdatas_dc, vars, mkCoerce co result)] + [(DataAlt pdatas_dc, vars, mkCast co result)] where -- The element type of the argument. @@ -478,7 +478,7 @@ buildFromArrPReprs vect_tc prepr_tc _ pdatas_tc r let co = mkAppCo pdatas_co $ mkAxInstCo repr_co var_tys - let scrut = mkCoerce co (Var varg) + let scrut = mkCast co (Var varg) let mk_result args = wrapFamInstBody pdatas_tc var_tys |