package ocaml-compiler

  1. Overview
  2. Docs
First release candidate for OCaml 5.5.0

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (19)

Authors

  1. Xavier Leroy
  2. Damien Doligez
  3. Alain Frisch
  4. Jacques Garrigue
  5. Didier Rémy
  6. K
    KC Sivaramakrishnan
  7. J
    Jérôme Vouillon

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

5.5.0-rc1.tar.gz
sha256=00c5da0ab159f5089476430ad250f22e689df8c17b3403bd1635d0d40c4bc748

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

Module Lift_code

val lift_lets : lifter

Lift let bindings to attempt to increase the length of scopes, as an aid to further optimizations. For example: let c = let b = <expr> in b, b in fst c would be transformed to: let b = <expr> in let c = b, b in fst c which is then clearly just: <expr>

val lift_lets_expr : Flambda.t -> toplevel:bool -> Flambda.t
val lifting_helper : Flambda.t list -> evaluation_order:[ `Left_to_right | `Right_to_left ] -> create_body:(Variable.t list -> Flambda.t) -> name:Internal_variable_names.t -> Flambda.t