Module Errors_code

type error = {
  1. typ : error_kind;
  2. loc : Parse_info.token_location;
  3. sev : severity;
}
and severity =
  1. | Fatal
  2. | Warning
and error_kind =
  1. | Deadcode of entity
  2. | UndefinedDefOfDecl of entity
  3. | UnusedExport of entity * Common.filename
  4. | UnusedVariable of string * Scope_code.t
and entity = string * Entity_code.entity_kind
type annotation =
  1. | AtScheck of string
type identifier_index = (string, Parse_info.token_location) Hashtbl.t
val string_of_error : error -> string
val string_of_error_kind : error_kind -> string
val g_errors : error list ref
val fatal : Parse_info.token_location -> error_kind -> unit
val warning : Parse_info.token_location -> error_kind -> unit
type rank =
  1. | Never
  2. | OnlyStrict
  3. | Less
  4. | Ok
  5. | Important
  6. | ReallyImportant
val score_of_rank : rank -> int
val rank_of_error : error -> rank
val score_of_error : error -> int
val annotation_at : Parse_info.token_location -> annotation option
val adjust_errors : error list -> error list