diff options
| author | Roman Leshchinskiy <rl@cse.unsw.edu.au> | 2007-07-26 05:28:30 +0000 |
|---|---|---|
| committer | Roman Leshchinskiy <rl@cse.unsw.edu.au> | 2007-07-26 05:28:30 +0000 |
| commit | dd5556ace6f1943ee5d6dbb7321f1c51d52bebb7 (patch) | |
| tree | bcc80f0df9629ed9760ab2760da64c3b93ed2374 | |
| parent | 063aba74bac532a9747e99da2c2d9c066ac76429 (diff) | |
| download | haskell-dd5556ace6f1943ee5d6dbb7321f1c51d52bebb7.tar.gz | |
Add missing coercion
| -rw-r--r-- | compiler/vectorise/VectType.hs | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/compiler/vectorise/VectType.hs b/compiler/vectorise/VectType.hs index 9d9db53897..5873469642 100644 --- 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 - + 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 - 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 |