Module Warnings

module Warnings: sig .. end

---

type loc = {

	loc_start : Lexing.position;
	loc_end : Lexing.position;
	loc_ghost : bool;

}

type t = 

|	Comment_start
|	Comment_not_end
|	Fragile_match of string
|	Ignored_partial_application
|	Labels_omitted of string list
|	Method_override of string list
|	Partial_match of string
|	Missing_record_field_pattern of string
|	Non_unit_statement
|	Redundant_case
|	Redundant_subpat
|	Instance_variable_override of string list
|	Illegal_backslash
|	Implicit_public_methods of string list
|	Unerasable_optional_argument
|	Undeclared_virtual_method of string
|	Not_principal of string
|	Non_principal_labels of string
|	Ignored_extra_argument
|	Nonreturning_statement
|	Preprocessor of string
|	Useless_record_with
|	Bad_module_name of string
|	All_clauses_guarded
|	Unused_var of string
|	Unused_var_strict of string
|	Wildcard_arg_to_constant_constr
|	Eol_in_string
|	Duplicate_definitions of string * string * string * string
|	Module_linked_twice of string * string * string
|	Unused_value_declaration of string
|	Unused_open of string
|	Unused_type_declaration of string
|	Unused_for_index of string
|	Unused_ancestor of string
|	Unused_constructor of string * bool * bool
|	Unused_extension of string * bool * bool * bool
|	Unused_rec_flag
|	Name_out_of_scope of string * string list * bool
|	Ambiguous_name of string list * string list * bool * string
|	Disambiguated_name of string
|	Nonoptional_label of string
|	Open_shadow_identifier of string * string
|	Open_shadow_label_constructor of string * string
|	Bad_env_variable of string * string
|	Attribute_payload of string * string
|	Eliminated_optional_arguments of string list
|	No_cmi_file of string * string option
|	Unexpected_docstring of bool
|	Wrong_tailcall_expectation of bool
|	Fragile_literal_pattern
|	Misplaced_attribute of string
|	Duplicated_attribute of string
|	Inlining_impossible of string
|	Unreachable_case
|	Ambiguous_var_in_pattern_guard of string list
|	No_cmx_file of string
|	Flambda_assignment_to_non_mutable_value
|	Unused_module of string
|	Unboxable_type_in_prim_decl of string
|	Constraint_on_gadt
|	Erroneous_printed_signature of string
|	Unsafe_array_syntax_without_parsing
|	Redefining_unit of string
|	Unused_open_bang of string
|	Unused_functor_parameter of string
|	Match_on_mutable_state_prevent_uncurry

type alert = {

	kind : string;
	message : string;
	def : loc;
	use : loc;

}

let parse_options: (bool, string) => unit;

let parse_alert_option: string => unit;

let without_warnings: (unit => 'a) => 'a;

let is_active: t => bool;

let is_error: t => bool;

let defaults_w: string;

let defaults_warn_error: string;

type reporting_information = {

	id : string;
	message : string;
	is_error : bool;
	sub_locs : (loc * string) list;

}

let report: t => [ | `Active(reporting_information) | `Inactive];

let report_alert: alert => [ | `Active(reporting_information) | `Inactive];

exception Errors;

let check_fatal: unit => unit;

let reset_fatal: unit => unit;

let help_warnings: unit => unit;

type state;

let backup: unit => state;

let restore: state => unit;

let mk_lazy: (unit => 'a) => Lazy.t('a);