diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-06 13:16:20 +0000 |
---|---|---|
committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-11-06 15:42:23 +0000 |
commit | 030abf9e059cb1382df14c878a74e6709d744c17 (patch) | |
tree | d0e25961198f03d7c285b51ff1552d2dee91168f | |
parent | 0f930ba2039e28d0083780a58adb37ff01a92019 (diff) | |
download | haskell-030abf9e059cb1382df14c878a74e6709d744c17.tar.gz |
Remove unused tyConsOfDataCon
-rw-r--r-- | compiler/basicTypes/DataCon.lhs | 14 | ||||
-rw-r--r-- | compiler/vectorise/Vectorise/Type/Classify.hs | 2 |
2 files changed, 1 insertions, 15 deletions
diff --git a/compiler/basicTypes/DataCon.lhs b/compiler/basicTypes/DataCon.lhs index fa9e2e9a97..95969df483 100644 --- a/compiler/basicTypes/DataCon.lhs +++ b/compiler/basicTypes/DataCon.lhs @@ -34,8 +34,6 @@ module DataCon ( splitDataProductType_maybe, - tyConsOfTyCon, - -- ** Predicates on DataCons isNullarySrcDataCon, isNullaryRepDataCon, isTupleDataCon, isUnboxedTupleCon, isVanillaDataCon, classDataCon, dataConCannotMatch, @@ -67,7 +65,6 @@ import BasicTypes import FastString import Module import VarEnv -import NameEnv import qualified Data.Data as Data import qualified Data.Typeable @@ -1126,15 +1123,4 @@ splitDataProductType_maybe ty = Just (tycon, ty_args, con, dataConInstArgTys con ty_args) | otherwise = Nothing - --- | All type constructors used in the definition of this type constructor, --- recursively. This is used to find out all the type constructors whose data --- constructors need to be in scope to be allowed to safely coerce under this --- type constructor in Safe Haskell mode. -tyConsOfTyCon :: TyCon -> [TyCon] -tyConsOfTyCon tc = nameEnvElts (add tc emptyNameEnv) - where - go env tc = foldr add env (tyConDataCons tc >>= dataConOrigArgTys >>= tyConsOfType) - add tc env | tyConName tc `elemNameEnv` env = env - | otherwise = go (extendNameEnv env (tyConName tc) tc) tc \end{code} diff --git a/compiler/vectorise/Vectorise/Type/Classify.hs b/compiler/vectorise/Vectorise/Type/Classify.hs index 56b8da5153..dcc41ddb89 100644 --- a/compiler/vectorise/Vectorise/Type/Classify.hs +++ b/compiler/vectorise/Vectorise/Type/Classify.hs @@ -21,7 +21,7 @@ where import NameSet import UniqSet import UniqFM -import DataCon hiding (tyConsOfTyCon) +import DataCon import TyCon import TypeRep import Type hiding (tyConsOfType) |