package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

Official release 4.10.2

Install

Dune Dependency

ocaml.org Edit opam file Versions (99)

Authors

Xavier Leroy

Maintainers

Sources

4.10.2.tar.gz

sha256=7aa26e0d70f36f0338df92cf5aaeb2704f3443bfe910a3d02a5dca9162f1d866

doc/ocamlcommon/Printtyp/Conflicts/index.html

Module `Printtyp.Conflicts`

The Conflicts module keeps track of conflicts arising when attributing names to identifiers and provides functions that can print explanations for these conflict in error messages

val exists : unit -> bool

exists() returns true if the current naming context renamed an identifier to avoid a name collision

type explanation = {

kind : namespace;
name : string;
root_name : string;
location : Location.t;

}

val list_explanations : unit -> explanation list

list_explanations() return the list of conflict explanations collected up to this point, and reset the list of collected explanations

val print_located_explanations : Format.formatter -> explanation list -> unit

val print_explanations : Format.formatter -> unit

Print all conflict explanations collected up to this point

val reset : unit -> unit