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.