1 (***********************************************************************)
5 (* Pierre Weis && Damien Doligez, INRIA Rocquencourt *)
7 (* Copyright 1998 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
17 type t
= (* A is all *)
18 | Comment_start
(* C *)
21 | Fragile_match
of string (* E *)
22 | Partial_application
(* F *)
23 | Labels_omitted
(* L *)
24 | Method_override
of string list
(* M *)
25 | Partial_match
of string (* P *)
26 | Statement_type
(* S *)
27 | Unused_match
(* U *)
29 | Instance_variable_override
of string (* V *)
30 | Illegal_backslash
(* X *)
31 | Implicit_public_methods
of string list
32 | Unerasable_optional_argument
33 | Undeclared_virtual_method
of string
34 | Not_principal
of string
35 | Without_principality
of string
37 | Nonreturning_statement
41 | Unused_var
of string (* Y *)
42 | Unused_var_strict
of string (* Z *)
45 val parse_options
: bool -> string -> unit;;
47 val is_active
: t
-> bool;;
48 val is_error
: t
-> bool;;
50 val print
: formatter
-> t
-> int;;
51 (* returns the number of newlines in the printed string *)
54 exception Errors
of int;;
56 val check_fatal
: unit -> unit;;