X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fvectorise%2FVectorise%2FUtils%2FPRDict.hs;h=0c5451b2d717ae32254ce7b8f95f7af75543bb6d;hb=4837a66d2d6a8a6db09067a3cd8c9038a9027a2d;hp=e5732323475044e33b0c1f8ab5265c1abe0676a1;hpb=acb9c929a4ab025972027b55b4c18d4410207d29;p=ghc-hetmet.git

diff --git a/compiler/vectorise/Vectorise/Utils/PRDict.hs b/compiler/vectorise/Vectorise/Utils/PRDict.hs
index e573232..0c5451b 100644
--- a/compiler/vectorise/Vectorise/Utils/PRDict.hs
+++ b/compiler/vectorise/Vectorise/Utils/PRDict.hs
@@ -2,13 +2,12 @@
 module Vectorise.Utils.PRDict (
 	prDFunOfTyCon,
 	prDictOfType,
-	prDictOfTyApp,
-	prDFunApply,
 	wrapPR
 )
 where
 import Vectorise.Monad
 import Vectorise.Builtins
+import Vectorise.Utils.Base
 import Vectorise.Utils.PADict
 
 import CoreSyn
@@ -19,14 +18,6 @@ import Outputable
 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
@@ -50,6 +41,6 @@ prDFunApply dfun tys
 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]