jon.recoil.org

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 : explanation list Ocaml_utils.Format_doc.printer
Sourceval print_explanations : Ocaml_utils.Format_doc.formatter -> unit

Print all conflict explanations collected up to this point

Sourceval reset : unit -> unit