package ocaml-base-compiler
Official 4.05.0 release
Install
Dune Dependency
Authors
Maintainers
Sources
4.05.0.tar.gz
sha256=e5d8a6f629020c580473d8afcfcb06c3966d01929f7b734f41dc0c737cd8ea3f
md5=7e0079162134336a24b9028349c756bb
doc/ocamloptcomp/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