From 8243ff275753aa2c679f7deaa36f57a765bbbc0e Mon Sep 17 00:00:00 2001 From: Roman Leshchinskiy Date: Sat, 18 Dec 2010 12:53:50 +0000 Subject: [PATCH] vectoriser: delete dead code --- compiler/vectorise/Vectorise/Utils/PADict.hs | 21 +-------------------- 1 file changed, 1 insertion(+), 20 deletions(-) diff --git a/compiler/vectorise/Vectorise/Utils/PADict.hs b/compiler/vectorise/Vectorise/Utils/PADict.hs index d9a00b9..ea8e924 100644 --- a/compiler/vectorise/Vectorise/Utils/PADict.hs +++ b/compiler/vectorise/Vectorise/Utils/PADict.hs @@ -1,9 +1,7 @@ module Vectorise.Utils.PADict ( - mkPADictType, paDictArgType, paDictOfType, - paDFunType, paMethod ) where @@ -23,10 +21,6 @@ import FastString import Control.Monad -mkPADictType :: Type -> VM Type -mkPADictType ty = mkBuiltinTyConApp paTyCon [ty] - - paDictArgType :: TyVar -> VM (Maybe Type) paDictArgType tv = go (TyVarTy tv) (tyVarKind tv) where @@ -43,7 +37,7 @@ paDictArgType tv = go (TyVarTy tv) (tyVarKind tv) go ty k | isLiftedTypeKind k - = liftM Just (mkPADictType ty) + = liftM Just (mkBuiltinTyConApp paTyCon [ty]) go _ _ = return Nothing @@ -80,19 +74,6 @@ paDictOfType ty failure = cantVectorise "Can't construct PA dictionary for type" (ppr ty) - - -paDFunType :: TyCon -> VM Type -paDFunType tc - = do - margs <- mapM paDictArgType tvs - res <- mkPADictType (mkTyConApp tc arg_tys) - return . mkForAllTys tvs - $ mkFunTys [arg | Just arg <- margs] res - where - tvs = tyConTyVars tc - arg_tys = mkTyVarTys tvs - paMethod :: (Builtins -> Var) -> String -> Type -> VM CoreExpr paMethod _ name ty | Just tycon <- splitPrimTyCon ty -- 1.7.10.4