Skip to content

Commit 12a67e5

Browse files
committed
Include missing OTP 26 dialyzer options overlapping_contract and no_unknown
1 parent 3dc3aa3 commit 12a67e5

File tree

2 files changed

+20
-14
lines changed

2 files changed

+20
-14
lines changed

DEVELOPMENT.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,10 @@
1818
6. Tag and push tags. Tag needs to be version prefixed with `v` (e.g. `v0.15.0`). Github action will create and publish the release to Visual Studio Marketplace and Open VSX Registry. Semver prerelease tags (e.g. `v0.1.0-rc.0`) will dry run publish.
1919
7. Update forum announcement post: https://elixirforum.com/t/introducing-elixirls-the-elixir-language-server/5857
2020

21+
## Updating allowed dialyzer options
22+
23+
The list in [project.json] needs to be updated to accommodate for changes in OTP basing on the list from https://github.com/erlang/otp/blob/412bff5196fc0ab88a61fe37ca30e5226fc7872d/lib/dialyzer/src/dialyzer_options.erl#L495
24+
2125
## References
2226

2327
https://code.visualstudio.com/api/working-with-extensions/publishing-extension

package.json

Lines changed: 16 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -95,28 +95,30 @@
9595
"items": {
9696
"type": "string",
9797
"enum": [
98-
"error_handling",
99-
"extra_return",
100-
"missing_return",
101-
"no_behaviours",
102-
"no_contracts",
103-
"no_fail_call",
104-
"no_fun_app",
98+
"no_return",
99+
"no_unused",
100+
"no_unknown",
105101
"no_improper_lists",
102+
"no_fun_app",
106103
"no_match",
107-
"no_missing_calls",
108104
"no_opaque",
109-
"no_return",
105+
"no_fail_call",
106+
"no_contracts",
107+
"no_behaviours",
110108
"no_undefined_callbacks",
111-
"no_unused",
112-
"underspecs",
113-
"unknown",
114109
"unmatched_returns",
115-
"overspecs",
110+
"error_handling",
111+
"no_missing_calls",
116112
"specdiffs",
113+
"overspecs",
114+
"underspecs",
117115
"no_underspecs",
116+
"extra_return",
118117
"no_extra_return",
119-
"no_missing_return"
118+
"missing_return",
119+
"no_missing_return",
120+
"unknown",
121+
"overlapping_contract"
120122
]
121123
},
122124
"default": []

0 commit comments

Comments
 (0)