From 2e8ce2010f213d7c5110f7b052f1301440e9f663 Mon Sep 17 00:00:00 2001 From: Pascal Rigaux Date: Wed, 10 Nov 2004 09:07:48 +0000 Subject: allow disabling warnings on command-line (and have various warnings level) --- perl_checker.src/tree.mli | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'perl_checker.src/tree.mli') diff --git a/perl_checker.src/tree.mli b/perl_checker.src/tree.mli index 60edc37..3cdf219 100644 --- a/perl_checker.src/tree.mli +++ b/perl_checker.src/tree.mli @@ -51,8 +51,7 @@ val has_proto : string option -> fromparser -> ((context * string) list * pos * val get_vars_declaration : (context * string * string, pos * prototype option) Hashtbl.t -> string -> per_package -> unit val die_with_pos : string * int * int -> string -> 'a -val warn_with_pos : string * int * int -> string -> unit -val warn_with_pos_always : string * int * int -> string -> unit +val warn_with_pos : Types.warning list -> string * int * int -> string -> unit val fold_tree : ('a -> fromparser -> 'a option) -> 'a -> fromparser -> 'a val from_qw : fromparser -> (context * string) list -- cgit v1.2.1