projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge remote branch 'origin/master'
[ghc-hetmet.git]
/
compiler
/
vectorise
/
Vectorise
/
Type
/
PRepr.hs
diff --git
a/compiler/vectorise/Vectorise/Type/PRepr.hs
b/compiler/vectorise/Vectorise/Type/PRepr.hs
index
1556626
..
c30bfed
100644
(file)
--- a/
compiler/vectorise/Vectorise/Type/PRepr.hs
+++ b/
compiler/vectorise/Vectorise/Type/PRepr.hs
@@
-15,6
+15,7
@@
import CoreUtils
import MkCore ( mkWildCase )
import TyCon
import Type
import MkCore ( mkWildCase )
import TyCon
import Type
+import Kind
import BuildTyCl
import OccName
import Coercion
import BuildTyCl
import OccName
import Coercion
@@
-180,9
+181,9
@@
buildToArrPRepr vect_tc prepr_tc pdata_tc r
pdata_co <- mkBuiltinCo pdataTyCon
let Just repr_co = tyConFamilyCoercion_maybe prepr_tc
pdata_co <- mkBuiltinCo pdataTyCon
let Just repr_co = tyConFamilyCoercion_maybe prepr_tc
- co = mkAppCoercion pdata_co
- . mkSymCoercion
- $ mkTyConApp repr_co ty_args
+ co = mkAppCo pdata_co
+ . mkSymCo
+ $ mkAxInstCo repr_co ty_args
scrut = unwrapFamInstScrut pdata_tc ty_args (Var arg)
scrut = unwrapFamInstScrut pdata_tc ty_args (Var arg)
@@
-262,8
+263,8
@@
buildFromArrPRepr vect_tc prepr_tc pdata_tc r
pdata_co <- mkBuiltinCo pdataTyCon
let Just repr_co = tyConFamilyCoercion_maybe prepr_tc
pdata_co <- mkBuiltinCo pdataTyCon
let Just repr_co = tyConFamilyCoercion_maybe prepr_tc
- co = mkAppCoercion pdata_co
- $ mkTyConApp repr_co var_tys
+ co = mkAppCo pdata_co
+ $ mkAxInstCo repr_co var_tys
scrut = mkCoerce co (Var arg)
scrut = mkCoerce co (Var arg)