Module Warnings
module Warnings: sig .. end
Warning definitions
Warning: this module is unstable and part of compiler-libs.
type loc = {
loc_start :
| |
loc_end :
| |
loc_ghost :
|
} val ghost_loc_in_file : string -> loc
Return an empty ghost range located in a given file
type field_usage_warning =
|
| Unused
|
|
| Not_read
|
|
| Not_mutated
|
type constructor_usage_warning =
|
| Unused
|
|
| Not_constructed
|
|
| Only_exported_private
|
type t =
|
| Comment_start
|
|
| Comment_not_end
|
|
| Fragile_match of
|
|
| Ignored_partial_application
|
|
| Labels_omitted of
|
|
| Method_override of
|
|
| Partial_match of
|
|
| Missing_record_field_pattern of
|
|
| Non_unit_statement
|
|
| Redundant_case
|
|
| Redundant_subpat
|
|
| Instance_variable_override of
|
|
| Illegal_backslash
|
|
| Implicit_public_methods of
|
|
| Unerasable_optional_argument
|
|
| Undeclared_virtual_method of
|
|
| Not_principal of
|
|
| Non_principal_labels of
|
|
| Ignored_extra_argument
|
|
| Nonreturning_statement
|
|
| Preprocessor of
|
|
| Useless_record_with
|
|
| Bad_module_name of
|
|
| All_clauses_guarded
|
|
| Unused_var of
|
|
| Unused_var_strict of
|
|
| Wildcard_arg_to_constant_constr
|
|
| Eol_in_string
|
|
| Duplicate_definitions of
|
|
| Unused_value_declaration of
|
|
| Unused_open of
|
|
| Unused_type_declaration of
|
|
| Unused_for_index of
|
|
| Unused_ancestor of
|
|
| Unused_constructor of
|
|
| Unused_extension of
|
|
| Unused_rec_flag
|
|
| Name_out_of_scope of
|
|
| Ambiguous_name of
|
|
| Disambiguated_name of
|
|
| Nonoptional_label of
|
|
| Open_shadow_identifier of
|
|
| Open_shadow_label_constructor of
|
|
| Bad_env_variable of
|
|
| Attribute_payload of
|
|
| Eliminated_optional_arguments of
|
|
| No_cmi_file of
|
|
| Unexpected_docstring of
|
|
| Wrong_tailcall_expectation of
|
|
| Fragile_literal_pattern
|
|
| Misplaced_attribute of
|
|
| Duplicated_attribute of
|
|
| Inlining_impossible of
|
|
| Unreachable_case
|
|
| Ambiguous_var_in_pattern_guard of
|
|
| No_cmx_file of
|
|
| Flambda_assignment_to_non_mutable_value
|
|
| Unused_module of
|
|
| Unboxable_type_in_prim_decl of
|
|
| Constraint_on_gadt
|
|
| Erroneous_printed_signature of
|
|
| Unsafe_array_syntax_without_parsing
|
|
| Redefining_unit of
|
|
| Unused_open_bang of
|
|
| Unused_functor_parameter of
|
|
| Match_on_mutable_state_prevent_uncurry
|
|
| Unused_field of
|
|
| Missing_mli
|
|
| Unused_tmc_attribute
|
|
| Tmc_breaks_tailcall
|
|
| Generative_application_expects_unit
|
|
| Degraded_to_partial_match
|
type alert = {
kind :
| |
message :
| |
def :
| |
use :
|
} val parse_options : bool -> string -> alert option
val parse_alert_option : string -> unit
Disable/enable alerts based on the parameter to the -alert command-line option. Raises Arg.Bad if the string is not a valid specification.
val without_warnings : (unit -> 'a) -> 'a
Run the thunk with all warnings and alerts disabled.
val is_active : t -> bool
val is_error : t -> bool
val defaults_w : string
val defaults_warn_error : string
type reporting_information = {
id :
| |
message :
| |
is_error :
| |
sub_locs :
|
} val report : t -> [ `Active of reporting_information | `Inactive ]
val report_alert : alert -> [ `Active of reporting_information | `Inactive ]
exception Errors
val check_fatal : unit -> unit
val reset_fatal : unit -> unit
val help_warnings : unit -> unit
type state
val backup : unit -> state
val restore : state -> unit
val with_state : state -> (unit -> 'a) -> 'a
val mk_lazy : (unit -> 'a) -> 'a Lazy.t
Like Lazy.of_fun, but the function is applied with the warning/alert settings at the time mk_lazy is called.
type description = {
number :
| |
names :
| |
description :
| |
since :
|
} val descriptions : description list
© 1995-2024 INRIA.
https://ocaml.org/manual/5.3/api/compilerlibref/Warnings.html