package merlin-lib

  1. Overview
  2. Docs
Merlin's libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    The Merlin team

Maintainers

  1. D
    defree@gmail.com

Sources

merlin-5.6.1-504.tbz
sha256=cc3c7c01f19a454c96f6bc8a39538023e01042519f001a895fd61488e2b49fb5
sha512=4268a932a8494023699abd98e0d52deb6f201f656863849db230dc8692050e0fe00cc25a50d70e902410f17a27268fd8335c32636f616ef012cf86fc9a43e019

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