diff options
Diffstat (limited to 'compiler/basicTypes')
-rw-r--r-- | compiler/basicTypes/Id.hs | 11 | ||||
-rw-r--r-- | compiler/basicTypes/IdInfo.hs | 3 |
2 files changed, 1 insertions, 13 deletions
diff --git a/compiler/basicTypes/Id.hs b/compiler/basicTypes/Id.hs index e22a77c07c..b49a8160fe 100644 --- a/compiler/basicTypes/Id.hs +++ b/compiler/basicTypes/Id.hs @@ -60,7 +60,7 @@ module Id ( isPrimOpId, isPrimOpId_maybe, isFCallId, isFCallId_maybe, isDataConWorkId, isDataConWorkId_maybe, isDataConId_maybe, idDataCon, - idConLike, isConLikeId, isBottomingId, idIsFrom, + isConLikeId, isBottomingId, idIsFrom, hasNoBinding, -- ** Evidence variables @@ -133,7 +133,6 @@ import UniqSupply import FastString import Util import StaticFlags -import {-# SOURCE #-} ConLike ( ConLike(..) ) -- infixl so you can say (id `set` a `set` b) infixl 1 `setIdUnfoldingLazily`, @@ -437,14 +436,6 @@ idDataCon :: Id -> DataCon -- INVARIANT: @idDataCon (dataConWrapId d) = d@: remember, 'dataConWrapId' can return either the wrapper or the worker idDataCon id = isDataConId_maybe id `orElse` pprPanic "idDataCon" (ppr id) -idConLike :: Id -> ConLike -idConLike id = - case Var.idDetails id of - DataConWorkId con -> RealDataCon con - DataConWrapId con -> RealDataCon con - PatSynBuilderId ps -> PatSynCon ps - _ -> pprPanic "idConLike" (ppr id) - hasNoBinding :: Id -> Bool -- ^ Returns @True@ of an 'Id' which may not have a -- binding, even though it is defined in this module. diff --git a/compiler/basicTypes/IdInfo.hs b/compiler/basicTypes/IdInfo.hs index ea1eb19c35..94d34419a2 100644 --- a/compiler/basicTypes/IdInfo.hs +++ b/compiler/basicTypes/IdInfo.hs @@ -122,8 +122,6 @@ data IdDetails -- a) to support isImplicitId -- b) when desugaring a RecordCon we can get -- from the Id back to the data con] - | PatSynBuilderId PatSyn -- ^ As for DataConWrapId - | ClassOpId Class -- ^ The 'Id' is a superclass selector, -- or class operation of a class @@ -188,7 +186,6 @@ pprIdDetails other = brackets (pp other) pp (RecSelId { sel_naughty = is_naughty }) = brackets $ ptext (sLit "RecSel") <> ppWhen is_naughty (ptext (sLit "(naughty)")) - pp (PatSynBuilderId _) = ptext (sLit "PatSynBuilder") {- ************************************************************************ |