package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install

Dune Dependency

Authors

Maintainers

Sources

merlin-4.14-500.tbz
sha256=ec23f324f875520cd8897f303cc6d4e595f3d7000914d410729f16b86ad1d70e
sha512=8db22100cc0af65b08f456a2a7af84e75396f5869ee7552f1f5888a1c0279d1d85e6eecb3a677ae6f0973a99823cddba0563843ce216197255667342ef161885

doc/merlin-lib.ocaml_typing/Ocaml_typing/Shape/Make_reduce/index.html

Module Shape.Make_reduceSource

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

Sourceval reduce : Context.env -> t -> t
Sourceval weak_reduce : Context.env -> t -> t
OCaml

Innovation. Community. Security.