package ocaml-compiler
Official release of OCaml 5.5.1
Install
dune-project
Dependency
Authors
Maintainers
Sources
ocaml-5.5.1.tar.gz
sha256=ae47728d0a876665ccc7b745e3a8d8c9ca5ba63c4f7a11d4db6cdbd1dbeef4bb
doc/compiler-libs.optcomp/Unbox_free_vars_of_closures/index.html
Module Unbox_free_vars_of_closures
When approximations of free variables of closures indicate that they are closures or blocks, rewrite projections from such blocks to new variables (which become free in the closures), with the defining expressions of the projections lifted out of the corresponding sets of closures.
val run :
env:Inline_and_simplify_aux.Env.t ->
set_of_closures:Flambda.set_of_closures ->
(Flambda.expr * Inlining_cost.Benefit.t) option