Module Printtyp.ConflictsSource

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

Sourceval exists : unit -> bool

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

Sourcetype explanation = {
  1. kind : Shape.Sig_component_kind.t;
  2. name : string;
  3. root_name : string;
  4. location : Ocaml_parsing.Location.t;
}
Sourceval 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

Sourceval print_located_explanations : Format.formatter -> explanation list -> unit
Sourceval print_explanations : Format.formatter -> unit

Print all conflict explanations collected up to this point

Sourceval reset : unit -> unit