Skip to main content

promote_let_rec

Function promote_let_rec 

Source
pub(crate) fn promote_let_rec(expr: &mut MirRelationExpr)
Expand description

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

We cannot (without further reasoning) fuse stacked LetRec stages, and instead we just promote LetRec to the roots of their expressions (e.g. as children of another LetRec stage).