@[reducible, inline]
The PullM
state contains the local function declarations and join points being pulled.
Equations
Instances For
Extract from the state any local function declarations that depends on the given
free variable. The idea is that we have to stop pulling these declarations because they
depend on fvarId
.
Equations
Instances For
Similar to findFVarDeps
. Extract from the state any local function declarations that depends on the given
parameters.
Equations
Instances For
Similar to attachFVarDeps
. Extract from the state any local function declarations that depends on the given
parameters, and attach to code k
.
Equations
Instances For
Pull local function declarations and join points in code
.
The state contains the declarations being pulled.
Pull local function declarations and join points in the given declaration.