package ocaml-compiler
Official release of OCaml 5.4.1
Install
dune-project
Dependency
Authors
Maintainers
Sources
ocaml-5.4.1.tar.gz
sha256=d4528517aaa1a44b8e2b1bc109a1ed0a5e0014f3ddc4feb8906b11a7e063e89a
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