Module let_motion

Enums

Binding 🔒

A stand in for the types of bindings we might encounter.

Functions

assert_letrec_major 🔒

Asserts that expr in “LetRec-major” form.

assert_no_lets 🔒

extract_bindings 🔒

Extracts exposed bindings into bindings.

harvest_non_recursive 🔒

Harvest any safe-to-lift non-recursive bindings from a LetRec expression.

harvest_nonrec_suffix 🔒

Harvest any safe-to-lower non-recursive suffix of binding from a LetRec expression.

hoist_bindings 🔒

Hoist all exposed bindings to the root of the expression.

post_order_harvest_lets 🔒

Performs a post-order traversal of the LetRec nodes at the root of an expression.

promote_let_rec 🔒

Promotes all Let and LetRec nodes to the roots of their expressions.