package ocaml-unikraft-arm64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross compiler to the freestanding Unikraft arm64 backends

Install

dune-project

Dependency

github.com Edit opam file Versions (3)

Authors

S

Samuel Hym

Maintainers

S

samuel@tarides.com

Sources

v1.1.0.tar.gz

sha256=97b9bdfd07ed0f031954138adbace930790d064ed3a590b9ff46f32f2433fde4

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