diff options
Diffstat (limited to 'utils/warnings.ml')
| -rw-r--r-- | utils/warnings.ml | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index 0a950923d..e44874031 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -58,6 +58,7 @@ type t = | Unused_ancestor of string (* 36 *) | Unused_constructor of string * bool * bool (* 37 *) | Unused_exception of string * bool (* 38 *) + | Unused_rec_flag (* 39 *) ;; (* If you remove a warning, leave a hole in the numbering. NEVER change @@ -105,9 +106,10 @@ let number = function | Unused_ancestor _ -> 36 | Unused_constructor _ -> 37 | Unused_exception _ -> 38 + | Unused_rec_flag -> 39 ;; -let last_warning_number = 38;; +let last_warning_number = 39 (* Must be the max number returned by the [number] function. *) let letter = function @@ -123,7 +125,7 @@ let letter = function | 'h' -> [] | 'i' -> [] | 'j' -> [] - | 'k' -> [32; 33; 34; 35; 36; 37; 38] + | 'k' -> [32; 33; 34; 35; 36; 37; 38; 39] | 'l' -> [6] | 'm' -> [7] | 'n' -> [] @@ -202,7 +204,7 @@ let parse_opt flags s = let parse_options errflag s = parse_opt (if errflag then error else active) s;; (* If you change these, don't forget to change them in man/ocamlc.m *) -let defaults_w = "+a-4-6-7-9-27-29-32..38";; +let defaults_w = "+a-4-6-7-9-27-29-32..39";; let defaults_warn_error = "-a";; let () = parse_options false defaults_w;; @@ -300,6 +302,8 @@ let message = function "exception constructor " ^ s ^ " is never raised or used to build values.\n\ (However, this constructor appears in patterns.)" + | Unused_rec_flag -> + "unused rec flag." ;; let nerrors = ref 0;; @@ -384,6 +388,7 @@ let descriptions = 36, "Unused ancestor variable."; 37, "Unused constructor."; 38, "Unused exception constructor."; + 39, "Unused rec flag."; ] ;; |