projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
063aba7
)
Add missing coercion
author
Roman Leshchinskiy
<rl@cse.unsw.edu.au>
Thu, 26 Jul 2007 05:28:30 +0000
(
05:28
+0000)
committer
Roman Leshchinskiy
<rl@cse.unsw.edu.au>
Thu, 26 Jul 2007 05:28:30 +0000
(
05:28
+0000)
compiler/vectorise/VectType.hs
patch
|
blob
|
history
diff --git
a/compiler/vectorise/VectType.hs
b/compiler/vectorise/VectType.hs
index
9d9db53
..
5873469
100644
(file)
--- a/
compiler/vectorise/VectType.hs
+++ b/
compiler/vectorise/VectType.hs
@@
-370,12
+370,14
@@
buildReplicatePA vect_tc arr_tc
shape <- replicatePA len (ctr_num val)
reprs <- liftM concat $ mapM (mk_comp_arrs len val) vect_dcs
shape <- replicatePA len (ctr_num val)
reprs <- liftM concat $ mapM (mk_comp_arrs len val) vect_dcs
-
+
return . mkLams [len_var, val_var]
return . mkLams [len_var, val_var]
- $ mkConApp arr_dc (map (Type . TyVarTy) (tyConTyVars arr_tc) ++ (shape : reprs))
+ . wrapFamInstBody arr_tc arg_tys
+ $ mkConApp arr_dc (map Type arg_tys ++ (shape : reprs))
where
where
- val_ty = mkTyConApp vect_tc . mkTyVarTys $ tyConTyVars arr_tc
- wild = mkWildId val_ty
+ arg_tys = mkTyVarTys (tyConTyVars arr_tc)
+ val_ty = mkTyConApp vect_tc arg_tys
+ wild = mkWildId val_ty
vect_dcs = tyConDataCons vect_tc
[arr_dc] = tyConDataCons arr_tc
vect_dcs = tyConDataCons vect_tc
[arr_dc] = tyConDataCons arr_tc