diff options
| author | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-12-02 13:57:46 +0100 |
|---|---|---|
| committer | Jan Stolarek <jan.stolarek@p.lodz.pl> | 2014-12-02 14:10:09 +0100 |
| commit | 668a1379778189495679840e0151dfceed4b8ef7 (patch) | |
| tree | d5dfd1a8d27c67070506fd3741695528984f9981 /compiler/vectorise | |
| parent | 5d9bb563b5d2cea4635ded27a35dfc421c5558db (diff) | |
| download | haskell-668a1379778189495679840e0151dfceed4b8ef7.tar.gz | |
Remove references to SynTyCon. Fixes #9812
Diffstat (limited to 'compiler/vectorise')
| -rw-r--r-- | compiler/vectorise/Vectorise/Utils/Base.hs | 6 | ||||
| -rw-r--r-- | compiler/vectorise/Vectorise/Utils/PADict.hs | 3 |
2 files changed, 5 insertions, 4 deletions
diff --git a/compiler/vectorise/Vectorise/Utils/Base.hs b/compiler/vectorise/Vectorise/Utils/Base.hs index 7d4bae3046..dc1f210369 100644 --- a/compiler/vectorise/Vectorise/Utils/Base.hs +++ b/compiler/vectorise/Vectorise/Utils/Base.hs @@ -24,7 +24,7 @@ module Vectorise.Utils.Base , pdatasReprTyConExact , pdataUnwrapScrut - , preprSynTyCon + , preprFamInst ) where import Vectorise.Monad @@ -258,5 +258,5 @@ pdataUnwrapScrut (ve, le) -- |Get the representation tycon of the 'PRepr' type family for a given type. -- -preprSynTyCon :: Type -> VM FamInstMatch -preprSynTyCon ty = builtin preprTyCon >>= (`lookupFamInst` [ty]) +preprFamInst :: Type -> VM FamInstMatch +preprFamInst ty = builtin preprTyCon >>= (`lookupFamInst` [ty]) diff --git a/compiler/vectorise/Vectorise/Utils/PADict.hs b/compiler/vectorise/Vectorise/Utils/PADict.hs index 01fbede4bd..c2ca20a683 100644 --- a/compiler/vectorise/Vectorise/Utils/PADict.hs +++ b/compiler/vectorise/Vectorise/Utils/PADict.hs @@ -118,7 +118,8 @@ paMethod method _ ty prDictOfPReprInst :: Type -> VM CoreExpr prDictOfPReprInst ty = do - { (FamInstMatch { fim_instance = prepr_fam, fim_tys = prepr_args }) <- preprSynTyCon ty + { (FamInstMatch { fim_instance = prepr_fam, fim_tys = prepr_args }) + <- preprFamInst ty ; prDictOfPReprInstTyCon ty (famInstAxiom prepr_fam) prepr_args } |