package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.11.1

Install

Dune Dependency

Authors

Maintainers

Sources

4.11.1.tar.gz
sha256=cd3cd55d465028b161c8c33bafc14ee6ae1d91b5efe51098350f8e8a5f454baf

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 = {
  1. kind : namespace;
  2. name : string;
  3. root_name : string;
  4. 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
OCaml

Innovation. Community. Security.