package ocaml-solo5-cross-aarch64

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install

dune-project

Dependency

github.com Edit opam file Versions (10)

Authors

M

Martin Lucina <martin@lucina.net>

Maintainers

M

Martin Lucina <martin@lucina.net>

Sources

v1.1.0.tar.gz

md5=00e5f51d0ce72f7517f3b2a7f910c572

sha512=91f349384a8864076c3d1b0ce3f4e94aa54900cf51e2471d21427bb25cbffac606bcd754fa545f4b2c4516ea2b0731cb580ab30bdf1911c9e47ee24d7c88c863

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