diff options
| author | Florian Angeletti <florian.angeletti@inria.fr> | 2022-08-31 15:30:02 +0200 |
|---|---|---|
| committer | Florian Angeletti <florian.angeletti@inria.fr> | 2022-11-17 16:53:50 +0100 |
| commit | 4ee8280ffb7e92b1975e7306c3e403baec641792 (patch) | |
| tree | d7e395024c02647ac4b38d0e10480949f8a94f07 /utils | |
| parent | e0fe42c349220baca929ed94ea17070cfc534f3e (diff) | |
| download | ocaml-4ee8280ffb7e92b1975e7306c3e403baec641792.tar.gz | |
Disable `unstable` alert by default.
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/warnings.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/warnings.ml b/utils/warnings.ml index 65044fc965..02eb44db06 100644 --- a/utils/warnings.ml +++ b/utils/warnings.ml @@ -856,9 +856,12 @@ let parse_options errflag s = (* If you change these, don't forget to change them in man/ocamlc.m *) let defaults_w = "+a-4-7-9-27-29-30-32..42-44-45-48-50-60-66..70" let defaults_warn_error = "-a+31" +let default_disabled_alerts = [ "unstable" ] let () = ignore @@ parse_options false defaults_w let () = ignore @@ parse_options true defaults_warn_error +let () = + List.iter (set_alert ~error:false ~enable:false) default_disabled_alerts let ref_manual_explanation () = (* manual references are checked a posteriori by the manual |