package ocaml-compiler

  1. Overview
  2. Docs
First beta release of OCaml 5.4.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.4.0-beta1.tar.gz
sha256=62f893eb980b20176de5508b221df5241f03a342e78b5c6dcb96667f92f9486b

doc/compiler-libs.common/Shape_reduce/Make/index.html

Module Shape_reduce.Make

The Make functor is used to generate a reduction function for shapes.

It is parametrized by:

  • a function to load the shape of an external compilation unit
  • some fuel, which is used to bound recursion when dealing with recursive shapes introduced by recursive modules. (FTR: merlin currently uses a fuel of 10, which seems to be enough for most practical examples)

Usage warning: To ensure good performances, every reduction made with the same instance of that functor share the same ident-based memoization tables. Such an instance should only be used to perform reduction inside a unique compilation unit to prevent conflicting entries in these memoization tables.

Parameters

module _ : sig ... end

Signature

val reduce : Env.t -> Shape.t -> Shape.t
val reduce_for_uid : Env.t -> Shape.t -> result

Perform weak reduction and return the head's uid if any. If reduction was incomplete the partially reduced shape is returned.