diff options
Diffstat (limited to 'utils/warnings.mli')
| -rw-r--r-- | utils/warnings.mli | 43 |
1 files changed, 0 insertions, 43 deletions
diff --git a/utils/warnings.mli b/utils/warnings.mli deleted file mode 100644 index d23a3188b5..0000000000 --- a/utils/warnings.mli +++ /dev/null @@ -1,43 +0,0 @@ -(***********************************************************************) -(* *) -(* Objective Caml *) -(* *) -(* Pierre Weis && Damien Doligez, INRIA Rocquencourt *) -(* *) -(* Copyright 1998 Institut National de Recherche en Informatique et *) -(* en Automatique. All rights reserved. This file is distributed *) -(* under the terms of the Q Public License version 1.0. *) -(* *) -(***********************************************************************) - -(* $Id$ *) - -open Format - -type t = (* A is all *) - | Comment of string (* C *) - | Deprecated (* D *) - | Fragile_pat of string (* E *) - | Partial_application (* F *) - | Labels_omitted (* L *) - | Method_override of string list (* M *) - | Partial_match of string (* P *) - | Statement_type (* S *) - | Unused_match (* U *) - | Unused_pat (* U *) - | Hide_instance_variable of string (* V *) - | Other of string (* X *) -;; - -val parse_options : bool -> string -> unit;; - -val is_active : t -> bool;; -val is_error : t -> bool;; - -val print : formatter -> t -> int;; - (* returns the number of newlines in the printed string *) - - -exception Errors of int;; - -val check_fatal : unit -> unit;; |