To focus the search input from anywhere on the page, press the 'S' key.
in-package search v0.1.0
val lift : backend:(module Backend_intf.S) -> Flambda.program -> Flambda.program
Let-expressions to Flambda
program constructions such that the results of evaluation of such expressions may be accessed directly, through symbols, rather than through closures. The
Let-expressions typically come from the compilation of modules (using the bytecode strategy) in
This means of compilation supersedes the old "transl_store_" methodology for native code.
Initialize_symbol construction generated by this pass may be subsequently rewritten to
Let_symbol if it is discovered that the initializer is in fact constant. (See
program constructions generated by this pass will be joined by others that arise from the lifting of constants (see