package ocaml-solo5
OCaml cross-compiler to the freestanding Solo5 backend
Install
dune-project
Dependency
Authors
Maintainers
Sources
v1.3.3.tar.gz
md5=47876167068345542f49279e8fd28896
sha512=272081ec51a6ed69c08e4e8fa64fee3df53fd84c66c0c07a653891c88b342cf74553e1c95711e4fbc18922c899a3448a649f3bd9858f8d89cae834ad2b67fffb
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