Module `Merlin_analysis.Env_lookup`Source

Provides tools to lookup items in the typing environment.

Establishing the namespace of an item before looking it up in the environement is necessary to prevent mixing items which have the same name but are not of the same namespace. (For example the environment can contain both type named `t` and a value named `t`.)

Sourcemodule Namespace : sig ... end

Namespaces describe in which section of the environment an item should be looked for.

Sourcetype item = {

uid : Ocaml_typing.Shape.Uid.t;
loc : Ocaml_parsing.Location.t;
namespace : Namespace.t;

}

Source

val by_path : 
  Ocaml_typing.Path.t ->
  Namespace.t ->
  Ocaml_typing.Env.t ->
  item option

Source

val by_longident : 
  Namespace.inferred list ->
  Ocaml_parsing.Longident.t ->
  Ocaml_typing.Env.t ->
  (Ocaml_typing.Path.t * item) option

Module Merlin_analysis.Env_lookupSource

Module `Merlin_analysis.Env_lookup`Source