-- ** Operations on InScopeSets
emptyInScopeSet, mkInScopeSet, delInScopeSet,
extendInScopeSet, extendInScopeSetList, extendInScopeSetSet,
- getInScopeVars, lookupInScope, elemInScopeSet, uniqAway,
+ getInScopeVars, lookupInScope, lookupInScope_Directly,
+ elemInScopeSet, uniqAway,
-- * The RnEnv2 type
RnEnv2,
-- the variable's identity (unique) to its full value.
lookupInScope :: InScopeSet -> Var -> Maybe Var
lookupInScope (InScope in_scope _) v = lookupVarEnv in_scope v
+
+lookupInScope_Directly :: InScopeSet -> Unique -> Maybe Var
+lookupInScope_Directly (InScope in_scope _) uniq
+ = lookupVarEnv_Directly in_scope uniq
\end{code}
\begin{code}