package ocaml-solo5
OCaml cross-compiler to the freestanding Solo5 backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v1.3.4.tar.gz
md5=186c4e0b2e2602b8a5cefbc731bcc6ba
sha512=b64b9f6b7371468b415c30eb7d13a06ae9c81eaf77f73494635919fc0134d9c3bb0aa177b78ab35d23bfa7fc045602a15f163e446c8fa67afe6e85f0ccbe0031
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