package ocaml-base-compiler

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

Official release 5.2.0

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Xavier Leroy

Maintainers

David Allsopp
F

Florian Angeletti <florian.angeletti@inria.fr>

Sources

5.2.0.tar.gz

sha256=48554abfd530fcdaa08f23f801b699e4f74c320ddf7d0bd56b0e8c24e55fc911

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