Merlin_analysis.Env_lookup
SourceProvides 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`.)
Namespaces describe in which section of the environment an item should be looked for.
type item = {
uid : Ocaml_typing.Shape.Uid.t;
loc : Ocaml_parsing.Location.t;
namespace : Namespace.t;
}
val by_longident :
Namespace.inferred list ->
Ocaml_parsing.Longident.t ->
Ocaml_typing.Env.t ->
(Ocaml_typing.Path.t * item) option