GHC.Stg.EnforceEpt.Types

Combine TagInfo from the alternatives of a case expression. Note that this operates at the value level: case alternatives return values. See Note [TagSig and TagInfo].

Extend the tag environment.

Look up a value-level tag for an argument: either from the env (where a function-typed argument flattens to TagEPT — its closure is tagged) or derived from information on the variable itself.

Look up the return-value tag of a function for saturated call analysis. Returns 'Just retInfo' if the function binding has a TagFun signature, Nothing otherwise.

Simple convert env to a env of the 'InferTaggedBinders pass with no other changes.