summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Peyton Jones <simonpj@microsoft.com>2014-11-06 13:16:20 +0000
committerSimon Peyton Jones <simonpj@microsoft.com>2014-11-06 15:42:23 +0000
commit030abf9e059cb1382df14c878a74e6709d744c17 (patch)
treed0e25961198f03d7c285b51ff1552d2dee91168f
parent0f930ba2039e28d0083780a58adb37ff01a92019 (diff)
downloadhaskell-030abf9e059cb1382df14c878a74e6709d744c17.tar.gz
Remove unused tyConsOfDataCon
-rw-r--r--compiler/basicTypes/DataCon.lhs14
-rw-r--r--compiler/vectorise/Vectorise/Type/Classify.hs2
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)