package merlin-lib
Merlin's libraries
Install
Dune Dependency
Authors
Maintainers
Sources
merlin-4.16-501.tbz
sha256=da5bf309b040645c292ae4572cc6a0a700dbd2bcfc996ac13c8e5c3836c21e26
sha512=99eba17b2bdec5411d239093f4e8e11ada79b2b84ae88074a1b46e47eb836bbf8cb7836c472c22e7f9e68cff1b9ea6d9b9989b70055c3277edb4cddc4a86460c
doc/merlin-lib.ocaml_typing/Ocaml_typing/Path/index.html
Module Ocaml_typing.PathSource
Source
type t = | Pident of Ident.t(*Examples: x, List, int
*)| Pdot of t * string(*Examples: List.map, Float.Array
*)| Papply of t * t(*Examples: Set.Make(Int), Map.Make(Set.Make(Int))
*)| Pextra_ty of t * extra_ty(*
*)Pextra_ty (p, extra)are additional paths of types introduced by specific OCaml constructs. See below.
Source
and extra_ty = | Pcstr_ty of string(*Pextra_ty (p, Pcstr_ty c)is the type of the inline record for constructorcinside typep.For example, in
type 'a t = Nil | Cons of {hd : 'a; tl : 'a t}The inline record type
*){hd : 'a; tl : 'a t}cannot be named by the user in the surface syntax, but internally it has the pathPextra_ty (Pident `t`, Pcstr_ty "Cons").| Pext_ty(*Pextra_ty (p, Pext_ty)is the type of the inline record for the extension constructorp.For example, in
type exn += Error of {loc : loc; msg : string}The inline record type
*){loc : loc; msg : string}cannot be named by the user in the surface syntax, but internally it has the pathPextra_ty (Pident `Error`, Pext_ty).