This module contains passes for inserting data type, constructor and type synonym declarations as well as function declarations into the environment.

Subsequent passes can still modify entries added by this pass. For example, which effects are used by which functions is determined after this pass (see FreeC.Pass.EffectAnalysisPass).

Specification

Preconditions

The argument and return types and type arguments of function declarations are annotated.

Translation

No changes are made to the declarations.

Postconditions

There are entries for the given declarations in the environment.

Error cases

• The user is informed if a different name is assigned to an entry.