diff options
-rw-r--r-- | compiler/GHC/Core/DataCon.hs | 5 | ||||
-rw-r--r-- | compiler/GHC/Core/Opt/SpecConstr.hs | 2 |
2 files changed, 5 insertions, 2 deletions
diff --git a/compiler/GHC/Core/DataCon.hs b/compiler/GHC/Core/DataCon.hs index 6c256cca10..dc14f2dcc3 100644 --- a/compiler/GHC/Core/DataCon.hs +++ b/compiler/GHC/Core/DataCon.hs @@ -14,6 +14,7 @@ module GHC.Core.DataCon ( HsSrcBang(..), HsImplBang(..), StrictnessMark(..), ConTag, + DataConEnv, -- ** Equality specs EqSpec, mkEqSpec, eqSpecTyVar, eqSpecType, @@ -84,9 +85,11 @@ import GHC.Data.FastString import GHC.Unit.Types import GHC.Unit.Module.Name import GHC.Utils.Binary +import GHC.Types.Unique.FM ( UniqFM ) import GHC.Types.Unique.Set import GHC.Builtin.Uniques( mkAlphaTyVarUnique ) + import GHC.Utils.Outputable import GHC.Utils.Misc import GHC.Utils.Panic @@ -689,6 +692,8 @@ data DataConRep } +type DataConEnv a = UniqFM DataCon a -- Keyed by DataCon + ------------------------- -- | Haskell Source Bang diff --git a/compiler/GHC/Core/Opt/SpecConstr.hs b/compiler/GHC/Core/Opt/SpecConstr.hs index d714cc0764..6f82257148 100644 --- a/compiler/GHC/Core/Opt/SpecConstr.hs +++ b/compiler/GHC/Core/Opt/SpecConstr.hs @@ -1181,8 +1181,6 @@ data ArgOcc = NoOcc -- Doesn't occur at all; or a type argument | ScrutOcc -- See Note [ScrutOcc] (DataConEnv [ArgOcc]) -- How the sub-components are used -type DataConEnv a = UniqFM DataCon a -- Keyed by DataCon - {- Note [ScrutOcc] ~~~~~~~~~~~~~~~~~~~ An occurrence of ScrutOcc indicates that the thing, or a `cast` version of the thing, |