diff options
| author | Leo White <lpw25@cl.cam.ac.uk> | 2017-06-05 16:35:10 +0100 |
|---|---|---|
| committer | Leo White <lpw25@cl.cam.ac.uk> | 2017-09-11 16:57:34 +0100 |
| commit | 2fc41796c809dc590522824a249d2ec8be472020 (patch) | |
| tree | 030186c8746bb3679e0c2868107aff05aba79257 /utils/warnings.mli | |
| parent | 3ac92c0ceef63fd1402ca8fb0db5fff3b469f88c (diff) | |
| download | ocaml-2fc41796c809dc590522824a249d2ec8be472020.tar.gz | |
Prevent repeated warnings with recursive modules
Diffstat (limited to 'utils/warnings.mli')
| -rw-r--r-- | utils/warnings.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/warnings.mli b/utils/warnings.mli index 56fad3695c..5b232d05a1 100644 --- a/utils/warnings.mli +++ b/utils/warnings.mli @@ -86,6 +86,8 @@ type t = val parse_options : bool -> string -> unit;; +val without_warnings : (unit -> 'a) -> 'a + val is_active : t -> bool;; val is_error : t -> bool;; |