package merlin-lib
Install
Dune Dependency
Authors
Maintainers
Sources
sha256=da5bf309b040645c292ae4572cc6a0a700dbd2bcfc996ac13c8e5c3836c21e26
sha512=99eba17b2bdec5411d239093f4e8e11ada79b2b84ae88074a1b46e47eb836bbf8cb7836c472c22e7f9e68cff1b9ea6d9b9989b70055c3277edb4cddc4a86460c
doc/merlin-lib.kernel/Merlin_kernel/Mtyper/index.html
Module Merlin_kernel.MtyperSource
Result of typechecker
Mtyper essentially produces a typedtree, but to make sense of it the OCaml typechecker need to be in a specific state.
The result type wraps a snapshot of this state with the typedtree to ensure correct accesses.
type typedtree = [ | `Interface of Ocaml_typing.Typedtree.signature| `Implementation of Ocaml_typing.Typedtree.structure
]Heuristic to find suitable environment to complete / type at given position. * 1. Try to find environment near given cursor. * 2. Check if there is an invalid construct between found env and cursor : * Case a. * > let x = valid_expr || * The env found is the right most env from valid_expr, it's a correct * answer. * Case b. * > let x = valid_expr * > let y = invalid_construction|| * In this case, the env found is the same as in case a, however it is * preferable to use env from enclosing module rather than an env from * inside x definition.