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
exists()
returns true if the current naming context renamed an identifier to avoid a name collision
type explanation = {
kind: Shape.Sig_component_kind.t,
name: string,
root_name: string,
location: Location.t,
};
let list_explanations: unit => list(explanation);
list_explanations()
return the list of conflict explanations collected up to this point, and reset the list of collected explanations
let print_located_explanations:
Stdlib.Format.formatter =>
list(explanation) =>
unit;
Print all conflict explanations collected up to this point