package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

First release candidate of OCaml 4.14.2

Install

dune-project

Dependency

ocaml.org Edit opam file Versions (30)

Authors

Xavier Leroy

Maintainers

Sources

4.14.2-rc1.tar.gz

sha256=0779d4871c5a3be4ae24dc2f5a49ec5463973f951a11953a7da6089e02587a37

doc/ocamloptcomp/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.