OCaml compiler library : Longident

# Module Longident

    module Longident: sig .. end

Long identifiers, used in parsetree.

Warning: this module is unstable and part of compiler-libs.

To print a longident, see `Pprintast.longident`, using `Format.asprintf` to convert to a string.

    type t =

`|` | `Lident of `string``
`|` | `Ldot of `t Location.loc * string Location.loc``
`|` | `Lapply of `t Location.loc * t Location.loc``

    val same : t -> t -> bool

`same t t'` compares the longidents `t` and `t'` without taking locations into account.

    val flatten : t -> string list

    val unflatten : string list -> t option

For a non-empty list `l`, `unflatten l` is `Some lid` where `lid` is the long identifier created by concatenating the elements of `l` with `Ldot`. `unflatten []` is `None`.

    val last : t -> string

    val parse : string -> t

Deprecated. this function may misparse its input, use "Parse.longident" or "Longident.unflatten"

This function is broken on identifiers that are not just "Word.Word.word"; for example, it returns incorrect results on infix operators and extended module paths.

If you want to generate long identifiers that are a list of dot-separated identifiers, the function `Longident.unflatten` is safer and faster. `Longident.unflatten` is available since OCaml 4.06.0.

If you want to parse any identifier correctly, use the long-identifiers functions from the `Parse` module, in particular `Parse.longident`. They are available since OCaml 4.11, and also provide proper input-location support.