package ocaml-solo5

You can search for identifiers within the package.

in-package search v0.2.0

OCaml cross-compiler to the freestanding Solo5 backend

Install

dune-project

Dependency

github.com Edit opam file Versions (11)

Authors

M

Martin Lucina <martin@lucina.net>

Maintainers

M

Martin Lucina <martin@lucina.net>

Sources

v1.3.4.tar.gz

md5=186c4e0b2e2602b8a5cefbc731bcc6ba

sha512=b64b9f6b7371468b415c30eb7d13a06ae9c81eaf77f73494635919fc0134d9c3bb0aa177b78ab35d23bfa7fc045602a15f163e446c8fa67afe6e85f0ccbe0031

doc/compiler-libs.optcomp/Flambda_to_clambda/index.html

Module `Flambda_to_clambda`

type result = {

expr : Clambda.ulambda;
preallocated_blocks : Clambda.preallocated_block list;
structured_constants : Clambda.ustructured_constant Symbol.Map.t;
exported : Export_info.t;

}

val convert : 
  ppf_dump:Format.formatter ->
  (Flambda.program * Export_info.transient) ->
  result

Convert an Flambda program, with associated proto-export information, to Clambda. This yields a Clambda expression together with augmented export information and details about required statically-allocated values (preallocated blocks, for Initialize_symbol, and structured constants).

It is during this process that accesses to variables within closures are transformed to field accesses within closure values. For direct calls, the hidden closure parameter is added. Switch tables are also built.