Warnings - Warning definitions

       Module Warnings
        : sigend

       Warning definitions

       Warning: this module is unstable and part of Compiler_libs .

       typeloc = {
        loc_start : Lexing.position ;
        loc_end : Lexing.position ;
        loc_ghost : bool ;
        }

       valghost_loc_in_file : string->loc

       Return an empty ghost range located in a given file

       typefield_usage_warning =
        | Unused
        | Not_read
        | Not_mutated

       typeconstructor_usage_warning =
        | Unused
        | Not_constructed
        | Only_exported_private

       typet =
        | Comment_start
        | Comment_not_end
        | Fragile_match ofstring
        | Ignored_partial_application
        | Labels_omitted ofstringlist
        | Method_override ofstringlist
        | Partial_match ofstring
        | Missing_record_field_pattern ofstring
        | Non_unit_statement
        | Redundant_case
        | Redundant_subpat
        | Instance_variable_override ofstringlist
        | Illegal_backslash
        | Implicit_public_methods ofstringlist
        | Unerasable_optional_argument
        | Undeclared_virtual_method ofstring
        | Not_principal ofFormat_doc.t
        | Non_principal_labels ofstring
        | Ignored_extra_argument
        | Nonreturning_statement
        | Preprocessor ofstring
        | Useless_record_with
        | Bad_module_name ofstring
        | All_clauses_guarded
        | Unused_var ofstring
        | Unused_var_strict ofstring
        | Wildcard_arg_to_constant_constr
        | Eol_in_string
        | Duplicate_definitions ofstring*string*string*string
        | Unused_value_declaration ofstring
        | Unused_open ofstring
        | Unused_type_declaration ofstring
        | Unused_for_index ofstring
        | Unused_ancestor ofstring
        | Unused_constructor ofstring*constructor_usage_warning
        | Unused_extension ofstring*bool*constructor_usage_warning
        | Unused_rec_flag
        | Name_out_of_scope ofstring*stringlist*bool
        | Ambiguous_name ofstringlist*stringlist*bool*string
        | Disambiguated_name ofstring
        | Nonoptional_label ofstring
        | Open_shadow_identifier ofstring*string
        | Open_shadow_label_constructor ofstring*string
        | Bad_env_variable ofstring*string
        | Attribute_payload ofstring*string
        | Eliminated_optional_arguments ofstringlist
        | No_cmi_file ofstring*stringoption
        | Unexpected_docstring ofbool
        | Wrong_tailcall_expectation ofbool
        | Fragile_literal_pattern
        | Misplaced_attribute ofstring
        | Duplicated_attribute ofstring
        | Inlining_impossible ofstring
        | Unreachable_case
        | Ambiguous_var_in_pattern_guard ofstringlist
        | No_cmx_file ofstring
        | Flambda_assignment_to_non_mutable_value
        | Unused_module ofstring
        | Unboxable_type_in_prim_decl ofstring
        | Constraint_on_gadt
        | Erroneous_printed_signature ofstring
        | Unsafe_array_syntax_without_parsing
        | Redefining_unit ofstring
        | Unused_open_bang ofstring
        | Unused_functor_parameter ofstring
        | Match_on_mutable_state_prevent_uncurry
        | Unused_field ofstring*field_usage_warning
        | Missing_mli
        | Unused_tmc_attribute
        | Tmc_breaks_tailcall
        | Generative_application_expects_unit
        | Degraded_to_partial_match

       typealert = {
        kind : string ;
        message : string ;
        def : loc ;
        use : loc ;
        }

       valparse_options : bool->string->alertoptionvalparse_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.

       valwithout_warnings : (unit->'a)->'a

       Run the thunk with all warnings and alerts disabled.

       valis_active : t->boolvalis_error : t->boolvaldefaults_w : stringvaldefaults_warn_error : stringtypereporting_information = {
        id : string ;
        message : string ;
        is_error : bool ;
        sub_locs : (loc*string)list ;
        }

       valreport : t->[`Activeofreporting_information|`Inactive]valreport_alert : alert->[`Activeofreporting_information|`Inactive]exceptionErrorsvalcheck_fatal : unit->unitvalreset_fatal : unit->unitvalhelp_warnings : unit->unittypestatevalbackup : unit->statevalrestore : state->unitvalwith_state : state->(unit->'a)->'avalmk_lazy : (unit->'a)->'aLazy.t

       Like Lazy.of_fun , but the function is applied with the warning/alert settings at  the  time  mk_lazy  is
       called.

       typedescription = {
        number : int ;
        names : stringlist ;
        description : string ;
        since : Sys.ocaml_release_infooption ;
        }

       valdescriptions : descriptionlist

OCamldoc                                           2025-06-12                                       Warnings(3o)

       Module   Warnings

       Warnings - Warning definitions