diff options
Diffstat (limited to 'utils/warnings.mli')
-rw-r--r-- | utils/warnings.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/utils/warnings.mli b/utils/warnings.mli index d9bd4a0348..99c153ffd6 100644 --- a/utils/warnings.mli +++ b/utils/warnings.mli @@ -46,6 +46,12 @@ type t = | Eol_in_string (* 29 *) | Duplicate_definitions of string * string * string * string (*30 *) | Multiple_definition of string * string * string (* 31 *) + | Unused_value_declaration of string (* 32 *) + | Unused_open of string (* 33 *) + | Unused_type_declaration of string (* 34 *) + | Unused_for_index of string (* 35 *) + | Unused_ancestor of string (* 36 *) + | Unused_constructor of string (* 37 *) ;; val parse_options : bool -> string -> unit;; |