Identifier Details

The IdDetails of an Id give stable, and necessary, information about the Id.

Just a synonym for CoVarId. Written separately so it can be exported in the hs-boot file.

Check if an IdDetails says CoVarId.

The number of arguments that a join point takes. Unlike the arity of a function, this is a purely syntactic property and is fixed when the join point is created (or converted from a value). Both type and value arguments are counted.

Recursive Selector Parent

Identifier Information

An IdInfo gives optional information about an Id. If present it never lies, but it may not be present, in which case there is always a conservative assumption which can be made.

Two Ids may have different info even though they have the same Unique (and are hence the same Id); for example, one might lack the properties attached to the other.

Most of the IdInfo gives information about the value, or definition, of the Id, independent of its usage. Exceptions to this are demandInfo, occInfo, oneShotInfo and callArityInfo.

Performance note: when we update IdInfo, we have to reallocate this entire record, so it is a good idea not to let this data structure get too big.

Basic IdInfo that carries no useful information whatsoever

More informative IdInfo we can use when we know the Id has no CAF references

If the Id is a lambda-bound variable then it may have lambda-bound variable info. Sometimes we know whether the lambda binding this variable is a "one-shot" lambda; that is, whether it is applied at most once.

This information may be useful in optimisation, as computations may safely be floated inside such a lambda without risk of duplicating work.

Info about a lambda-bound variable, if the Id is one

It is always safe to assume that an Id has no lambda-bound variable information

This is used to remove information on lambda binders that we have setup as part of a lambda group, assuming they will be applied all at once, but turn out to be part of an unsaturated lambda as in e.g:

(\x1. \x2. e) arg1

Zap info that depends on free variables

Remove all demand info on the IdInfo

Remove usage (but not strictness) info on the IdInfo

Remove usage environment info from the strictness signature on the IdInfo

Arity Information

An ArityInfo of n tells us that partial application of this Id to up to n-1 value arguments does essentially no work.

That is not necessarily the same as saying that it has n leading lambdas, because coerces may get in the way.

The arity might increase later in the compilation process, if an extra lambda floats up to the binding site.

It is always safe to assume that an Id has an arity of 0

Id arity

How this is called. n = all calls have at least n arguments

ID demand information

The Ids unfolding

Inline Pragma Information

Tells when the inlining is active. When it is active the thing may be inlined, depending on how big it is.

If there was an INLINE pragma, then as a separate matter, the RHS will have been made to look small with a Core inline Note

The default InlinePragInfo is AlwaysActive, so the info serves entirely as a way to inhibit inlining until we want it

Any inline pragma atached to the Id

identifier Occurrence Information

How the Id occurs in the program

Inside Lambda

Rule Information

Records the specializations of this Id that we know about in the form of rewrite CoreRules that target them

Assume that no specilizations exist: always safe

Retrieve the locally-defined free variables of both the left and right hand sides of the specialization rules

Change the name of the function the rule is keyed on on all of the CoreRules

Specialisations of the Ids function which exist See Note [Specialisations and RULES in IdInfo]

Constant applicative form Information

Records whether an Id makes Constant Applicative Form references

Id CAF info

Tick box for Hpc-style coverage

when applied, will this Id ever have a levity-polymorphic type?

Marks an IdInfo describing an Id that is never levity polymorphic (even when applied). The Type is only there for checking that it's really never levity polymorphic