package ocaml-base-compiler

  1. Overview
  2. Docs
First release candidate of OCaml 4.14.2

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (30)

Authors

  1. Xavier Leroy

Maintainers

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

Sources

4.14.2-rc1.tar.gz
sha256=0779d4871c5a3be4ae24dc2f5a49ec5463973f951a11953a7da6089e02587a37

doc/ocamlcommon/Shape/Make_reduce/index.html

Module Shape.Make_reduce

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

It is parametrized by:

  • an environment and a function to find shapes by path in that environment
  • 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)

Parameters

module Context : sig ... end

Signature

val reduce : Context.env -> t -> t