Module normalize_lets

Normalize the structure of Let and LetRec operators in expressions.

Normalization happens in the context of “scopes”, corresponding to

1. the expression’s root and 2. each instance of a LetRec AST node.

Within each scope,

1. Each expression is normalized to have all Let nodes at the root of the expression, in order of identifier.
2. Each expression assigns a contiguous block of identifiers.

The transform may remove some Let and Get operators, and does not introduce any new operators.

The module also publishes the function renumber_bindings which can be used to renumber bindings in an expression starting from a provided IdGen, which is used to prepare distinct expressions for inlining.

Modules

• inlining 🔒
• let_motion 🔒
• renumbering 🔒
• support 🔒

Structs

• NormalizeLets
  Install replace certain Get operators with their Let value.

Functions

• normalize_lets
  Normalize Let and LetRec structure.
• renumber_bindings
  Re-assign an identifier to each Let.