GHC.Types.Name.Cache

The Name Cache

Documentation

data NameCache Source #

The NameCache makes sure that there is just one Unique assigned for each original name; i.e. (module-name, occ-name) pair and provides something of a lookup mechanism for those names.

Constructors

NameCache 

Fields

initNameCache :: Char -> [Name] -> IO NameCache Source #

takeUniqFromNameCache :: NameCache -> IO Unique Source #

updateNameCache' :: NameCache -> (OrigNameCache -> IO (OrigNameCache, c)) -> IO c Source #

Update the name cache with the given function

updateNameCache :: NameCache -> Module -> OccName -> (OrigNameCache -> IO (OrigNameCache, c)) -> IO c Source #

Update the name cache with the given function

Additionally, it ensures that the given Module and OccName are evaluated. If not, chaos can ensue: we read the name-cache then pull on mod (say) which does some stuff that modifies the name cache This did happen, with tycon_mod in GHC.IfaceToCore.tcIfaceAlt (DataAlt..)

OrigNameCache

type OrigNameCache = ModuleEnv (OccEnv Name) Source #

Per-module cache of original OccNames given Names

lookupOrigNameCache :: OrigNameCache -> Module -> OccName -> Maybe Name Source #

extendOrigNameCache' :: OrigNameCache -> Name -> OrigNameCache Source #

extendOrigNameCache :: OrigNameCache -> Module -> OccName -> Name -> OrigNameCache Source #