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
/
Utils
/
Poly.hs
diff --git
a/compiler/vectorise/Vectorise/Utils/Poly.hs
b/compiler/vectorise/Vectorise/Utils/Poly.hs
index
04237f8
..
a27afea
100644
(file)
--- a/
compiler/vectorise/Vectorise/Utils/Poly.hs
+++ b/
compiler/vectorise/Vectorise/Utils/Poly.hs
@@
-11,7
+11,6
@@
import Vectorise.Monad
import Vectorise.Utils.PADict
import CoreSyn
import Type
import Vectorise.Utils.PADict
import CoreSyn
import Type
-import Var
import FastString
import Control.Monad
import FastString
import Control.Monad
@@
-43,11
+42,11
@@
polyArity tvs = do
polyApply :: CoreExpr -> [Type] -> VM CoreExpr
polyApply expr tys
polyApply :: CoreExpr -> [Type] -> VM CoreExpr
polyApply expr tys
- = do Just dicts <- liftM sequence $ mapM paDictOfType tys
+ = do dicts <- mapM paDictOfType tys
return $ expr `mkTyApps` tys `mkApps` dicts
polyVApply :: VExpr -> [Type] -> VM VExpr
polyVApply expr tys
return $ expr `mkTyApps` tys `mkApps` dicts
polyVApply :: VExpr -> [Type] -> VM VExpr
polyVApply expr tys
- = do Just dicts <- liftM sequence $ mapM paDictOfType tys
+ = do dicts <- mapM paDictOfType tys
return $ mapVect (\e -> e `mkTyApps` tys `mkApps` dicts) expr
return $ mapVect (\e -> e `mkTyApps` tys `mkApps` dicts) expr