535 lines
6.9 KiB
HTML
535 lines
6.9 KiB
HTML
|
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
|
|
<HTML><HEAD><TITLE>Man page of Warnings</TITLE>
|
|
</HEAD><BODY>
|
|
<H1>Warnings</H1>
|
|
Section: OCaml library (3o)<BR>Updated: 2020-01-30<BR><A HREF="#index">Index</A>
|
|
<A HREF="/cgi-bin/man/man2html">Return to Main Contents</A><HR>
|
|
|
|
<A NAME="lbAB"> </A>
|
|
<H2>NAME</H2>
|
|
|
|
Warnings - Warning definitions
|
|
<A NAME="lbAC"> </A>
|
|
<H2>Module</H2>
|
|
|
|
Module Warnings
|
|
<A NAME="lbAD"> </A>
|
|
<H2>Documentation</H2>
|
|
|
|
<P>
|
|
Module
|
|
<B>Warnings</B>
|
|
|
|
<BR> :
|
|
<B>sig end</B>
|
|
|
|
<P>
|
|
<P>
|
|
Warning definitions
|
|
<P>
|
|
Warning: this module is unstable and part of
|
|
<B>Compiler_libs</B>
|
|
|
|
.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type loc </I>
|
|
|
|
= {
|
|
<BR> loc_start :
|
|
<B>Lexing.position</B>
|
|
|
|
;
|
|
<BR> loc_end :
|
|
<B>Lexing.position</B>
|
|
|
|
;
|
|
<BR> loc_ghost :
|
|
<B>bool</B>
|
|
|
|
;
|
|
<BR> }
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type t </I>
|
|
|
|
=
|
|
<BR> | Comment_start
|
|
<BR> | Comment_not_end
|
|
<BR> | Fragile_match
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Partial_application
|
|
<BR> | Labels_omitted
|
|
<B>of </B>
|
|
|
|
<B>string list</B>
|
|
|
|
<BR> | Method_override
|
|
<B>of </B>
|
|
|
|
<B>string list</B>
|
|
|
|
<BR> | Partial_match
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Non_closed_record_pattern
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Statement_type
|
|
<BR> | Unused_match
|
|
<BR> | Unused_pat
|
|
<BR> | Instance_variable_override
|
|
<B>of </B>
|
|
|
|
<B>string list</B>
|
|
|
|
<BR> | Illegal_backslash
|
|
<BR> | Implicit_public_methods
|
|
<B>of </B>
|
|
|
|
<B>string list</B>
|
|
|
|
<BR> | Unerasable_optional_argument
|
|
<BR> | Undeclared_virtual_method
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Not_principal
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Without_principality
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_argument
|
|
<BR> | Nonreturning_statement
|
|
<BR> | Preprocessor
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Useless_record_with
|
|
<BR> | Bad_module_name
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | All_clauses_guarded
|
|
<BR> | Unused_var
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_var_strict
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Wildcard_arg_to_constant_constr
|
|
<BR> | Eol_in_string
|
|
<BR> | Duplicate_definitions
|
|
<B>of </B>
|
|
|
|
<B>string * string * string * string</B>
|
|
|
|
<BR> | Multiple_definition
|
|
<B>of </B>
|
|
|
|
<B>string * string * string</B>
|
|
|
|
<BR> | Unused_value_declaration
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_open
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_type_declaration
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_for_index
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_ancestor
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_constructor
|
|
<B>of </B>
|
|
|
|
<B>string * bool * bool</B>
|
|
|
|
<BR> | Unused_extension
|
|
<B>of </B>
|
|
|
|
<B>string * bool * bool * bool</B>
|
|
|
|
<BR> | Unused_rec_flag
|
|
<BR> | Name_out_of_scope
|
|
<B>of </B>
|
|
|
|
<B>string * string list * bool</B>
|
|
|
|
<BR> | Ambiguous_name
|
|
<B>of </B>
|
|
|
|
<B>string list * string list * bool * string</B>
|
|
|
|
<BR> | Disambiguated_name
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Nonoptional_label
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Open_shadow_identifier
|
|
<B>of </B>
|
|
|
|
<B>string * string</B>
|
|
|
|
<BR> | Open_shadow_label_constructor
|
|
<B>of </B>
|
|
|
|
<B>string * string</B>
|
|
|
|
<BR> | Bad_env_variable
|
|
<B>of </B>
|
|
|
|
<B>string * string</B>
|
|
|
|
<BR> | Attribute_payload
|
|
<B>of </B>
|
|
|
|
<B>string * string</B>
|
|
|
|
<BR> | Eliminated_optional_arguments
|
|
<B>of </B>
|
|
|
|
<B>string list</B>
|
|
|
|
<BR> | No_cmi_file
|
|
<B>of </B>
|
|
|
|
<B>string * string option</B>
|
|
|
|
<BR> | Bad_docstring
|
|
<B>of </B>
|
|
|
|
<B>bool</B>
|
|
|
|
<BR> | Expect_tailcall
|
|
<BR> | Fragile_literal_pattern
|
|
<BR> | Misplaced_attribute
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Duplicated_attribute
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Inlining_impossible
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unreachable_case
|
|
<BR> | Ambiguous_pattern
|
|
<B>of </B>
|
|
|
|
<B>string list</B>
|
|
|
|
<BR> | No_cmx_file
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Assignment_to_non_mutable_value
|
|
<BR> | Unused_module
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unboxable_type_in_prim_decl
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Constraint_on_gadt
|
|
<BR> | Erroneous_printed_signature
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unsafe_without_parsing
|
|
<BR> | Redefining_unit
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR> | Unused_open_bang
|
|
<B>of </B>
|
|
|
|
<B>string</B>
|
|
|
|
<BR>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type alert </I>
|
|
|
|
= {
|
|
<BR> kind :
|
|
<B>string</B>
|
|
|
|
;
|
|
<BR> message :
|
|
<B>string</B>
|
|
|
|
;
|
|
<BR> def :
|
|
<B>loc</B>
|
|
|
|
;
|
|
<BR> use :
|
|
<B>loc</B>
|
|
|
|
;
|
|
<BR> }
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val parse_options </I>
|
|
|
|
:
|
|
<B>bool -> string -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val parse_alert_option </I>
|
|
|
|
:
|
|
<B>string -> unit</B>
|
|
|
|
<P>
|
|
Disable/enable alerts based on the parameter to the -alert
|
|
command-line option. Raises
|
|
<B>Arg.Bad</B>
|
|
|
|
if the string is not a
|
|
valid specification.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val without_warnings </I>
|
|
|
|
:
|
|
<B>(unit -> 'a) -> 'a</B>
|
|
|
|
<P>
|
|
Run the thunk with all warnings and alerts disabled.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val is_active </I>
|
|
|
|
:
|
|
<B>t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val is_error </I>
|
|
|
|
:
|
|
<B>t -> bool</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val defaults_w </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val defaults_warn_error </I>
|
|
|
|
:
|
|
<B>string</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type reporting_information </I>
|
|
|
|
= {
|
|
<BR> id :
|
|
<B>string</B>
|
|
|
|
;
|
|
<BR> message :
|
|
<B>string</B>
|
|
|
|
;
|
|
<BR> is_error :
|
|
<B>bool</B>
|
|
|
|
;
|
|
<BR> sub_locs :
|
|
<B>(loc * string) list</B>
|
|
|
|
;
|
|
<BR> }
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val report </I>
|
|
|
|
:
|
|
<B>t -> [ `Active of reporting_information | `Inactive ]</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val report_alert </I>
|
|
|
|
:
|
|
<B>alert -> [ `Active of reporting_information | `Inactive ]</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>exception Errors </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val check_fatal </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val reset_fatal </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val help_warnings </I>
|
|
|
|
:
|
|
<B>unit -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>type state </I>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val backup </I>
|
|
|
|
:
|
|
<B>unit -> state</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val restore </I>
|
|
|
|
:
|
|
<B>state -> unit</B>
|
|
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<P>
|
|
<I>val mk_lazy </I>
|
|
|
|
:
|
|
<B>(unit -> 'a) -> 'a Lazy.t</B>
|
|
|
|
<P>
|
|
Like
|
|
<B>Lazy.of_fun</B>
|
|
|
|
, but the function is applied with
|
|
the warning/alert settings at the time
|
|
<B>mk_lazy</B>
|
|
|
|
is called.
|
|
<P>
|
|
<P>
|
|
<P>
|
|
|
|
<HR>
|
|
<A NAME="index"> </A><H2>Index</H2>
|
|
<DL>
|
|
<DT id="1"><A HREF="#lbAB">NAME</A><DD>
|
|
<DT id="2"><A HREF="#lbAC">Module</A><DD>
|
|
<DT id="3"><A HREF="#lbAD">Documentation</A><DD>
|
|
</DL>
|
|
<HR>
|
|
This document was created by
|
|
<A HREF="/cgi-bin/man/man2html">man2html</A>,
|
|
using the manual pages.<BR>
|
|
Time: 00:05:59 GMT, March 31, 2021
|
|
</BODY>
|
|
</HTML>
|