projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fix dependencies among specialisations for imported Ids
[ghc-hetmet.git]
/
compiler
/
vectorise
/
Vectorise
/
Utils
/
PRDict.hs
diff --git
a/compiler/vectorise/Vectorise/Utils/PRDict.hs
b/compiler/vectorise/Vectorise/Utils/PRDict.hs
index
e573232
..
a5d09df
100644
(file)
--- a/
compiler/vectorise/Vectorise/Utils/PRDict.hs
+++ b/
compiler/vectorise/Vectorise/Utils/PRDict.hs
@@
-1,32
+1,20
@@
module Vectorise.Utils.PRDict (
module Vectorise.Utils.PRDict (
- prDFunOfTyCon,
prDictOfType,
prDictOfType,
- prDictOfTyApp,
- prDFunApply,
wrapPR
)
where
import Vectorise.Monad
import Vectorise.Builtins
wrapPR
)
where
import Vectorise.Monad
import Vectorise.Builtins
+import Vectorise.Utils.Base
import Vectorise.Utils.PADict
import CoreSyn
import Type
import TypeRep
import Vectorise.Utils.PADict
import CoreSyn
import Type
import TypeRep
-import TyCon
-import Outputable
import Control.Monad
import Control.Monad
-prDFunOfTyCon :: TyCon -> VM CoreExpr
-prDFunOfTyCon tycon
- = liftM Var
- . maybeCantVectoriseM "No PR dictionary for tycon" (ppr tycon)
- $ lookupTyConPR tycon
-
-
-
prDictOfType :: Type -> VM CoreExpr
prDictOfType ty = prDictOfTyApp ty_fn ty_args
where
prDictOfType :: Type -> VM CoreExpr
prDictOfType ty = prDictOfTyApp ty_fn ty_args
where
@@
-50,6
+38,6
@@
prDFunApply dfun tys
wrapPR :: Type -> VM CoreExpr
wrapPR ty
= do
wrapPR :: Type -> VM CoreExpr
wrapPR ty
= do
- Just pa_dict <- paDictOfType ty
- pr_dfun <- prDFunOfTyCon =<< builtin wrapTyCon
+ pa_dict <- paDictOfType ty
+ pr_dfun <- prDFunOfTyCon =<< builtin wrapTyCon
return $ mkApps pr_dfun [Type ty, pa_dict]
return $ mkApps pr_dfun [Type ty, pa_dict]