diff options
| author | Hans Bolinder <hasse@erlang.org> | 2021-02-15 12:11:12 +0100 |
|---|---|---|
| committer | Hans Bolinder <hasse@erlang.org> | 2021-02-16 09:01:53 +0100 |
| commit | 672299bb104f34b5a47b7d3334d798f121070fa8 (patch) | |
| tree | 45dca2434fc9bea6d42bd5ec9a6b28ba808a350c /lib/stdlib/src | |
| parent | 2698f5d3aa6d1e5d612f820460b1192789f028dc (diff) | |
| download | erlang-672299bb104f34b5a47b7d3334d798f121070fa8.tar.gz | |
dialyzer: Add option to be used with attribute -dialyzer
Add option 'no_underspecs'. See also GH-4033.
Diffstat (limited to 'lib/stdlib/src')
| -rw-r--r-- | lib/stdlib/src/erl_lint.erl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/stdlib/src/erl_lint.erl b/lib/stdlib/src/erl_lint.erl index 9d4806911b..7732c585f0 100644 --- a/lib/stdlib/src/erl_lint.erl +++ b/lib/stdlib/src/erl_lint.erl @@ -3345,7 +3345,9 @@ is_module_dialyzer_option(Option) -> no_match,no_opaque,no_fail_call,no_contracts, no_behaviours,no_undefined_callbacks,unmatched_returns, error_handling,race_conditions,no_missing_calls, - specdiffs,overspecs,underspecs,unknown]). + specdiffs,overspecs,underspecs,unknown, + no_underspecs + ]). %% try_catch_clauses(Scs, Ccs, In, ImportVarTable, State) -> %% {UpdVt,State}. |