package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

github.com Readme Changelog Edit opam file Versions (18)

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.8-505.tbz
sha256=5642cde8486a84aad98fa5c590b70e8dcc6074d7fbdb3b9b8c46b2c5b42f653b
sha512=1d7a7751157e393d3ae248ef5ae24a6b4e81430666c61cc51a3d0ec35804523317036f3d7a3c7f18a7554337f4e5f5989fb677865b261ece3fd2b317903570ba

doc/merlin-lib.ocaml_typing/Ocaml_typing/Subst/Unsafe/index.html

Module Subst.UnsafeSource

Unsafe substitutions introduced by with constraints, local substitutions (type t := int * int) or recursive module check.

Sourceval add_modtype : Ident.t -> Types.module_type -> 'any subst -> t

Replacing a module type name S by a non-path signature is unsafe as the packed module type (module S) becomes ill-formed.

Sourceval add_modtype_path : Path.t -> Types.module_type -> 'any subst -> t
Sourceval add_type_path : Path.t -> Path.t -> t -> t

Deep editing inside a module type require to retypecheck the module, for applicative functors in path and module aliases.

Sourceval add_type_function : Path.t -> params:Types.type_expr list -> body:Types.type_expr -> t -> t
Sourceval add_module_path : Path.t -> Path.t -> t -> t
Sourcetype error =
  1. | Fcm_type_substituted_away of Path.t * Types.module_type
type 'a res := ('a, error) result
Sourceval compose : t -> t -> t res

Composition of substitutions is eager and fails when the two substitution are incompatible, for example module type t := sig end is not compatible with module type s := sig type t=(module t) end