Previous: compiler lifting substitutions, Up: compiler lifting [Index]
clambda
lifting APIThe following bindings are exported by the library (vicare
compiler)
.
Perform code transformation traversing the whole hierarchy in
input, which must be a struct instance representing recordised
code in the core language, and building a new hierarchy of transformed,
recordised code; return a codes
struct.
Perform clambda
lifting and optimisation of calls to functions
without free variables.