Skip to content

Commit

Permalink
Turn on no_opaque_union option by default in Dialyzer
Browse files Browse the repository at this point in the history
Fix #9427
  • Loading branch information
lucioleKi committed Feb 13, 2025
1 parent 53e6751 commit 87b1e3c
Show file tree
Hide file tree
Showing 6 changed files with 5 additions and 6 deletions.
1 change: 0 additions & 1 deletion lib/dialyzer/src/dialyzer_options.erl
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,6 @@ build(Opts) ->
?WARN_FUN_APP,
?WARN_MATCHING,
?WARN_OPAQUE,
?WARN_OPAQUE_UNION,
?WARN_CALLGRAPH,
?WARN_FAILING_CALL,
?WARN_BIN_CONSTRUCTION,
Expand Down
2 changes: 1 addition & 1 deletion lib/dialyzer/test/opaque_SUITE_data/dialyzer_options
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
{dialyzer_options, [{indent_opt, false}, {warnings, [no_unused, no_return, no_unknown]}]}.
{dialyzer_options, [{indent_opt, false}, {warnings, [no_unused, no_return, no_unknown, opaque_union]}]}.
{time_limit, 40}.
2 changes: 1 addition & 1 deletion lib/dialyzer/test/overspecs_SUITE_data/dialyzer_options
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{dialyzer_options, [{indent_opt, false}, {warnings, [overspecs]}]}.
{dialyzer_options, [{indent_opt, false}, {warnings, [overspecs, opaque_union]}]}.
2 changes: 1 addition & 1 deletion lib/dialyzer/test/r9c_SUITE_data/dialyzer_options
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
{dialyzer_options, [{indent_opt, false}, {defines, [{vsn, 42}]}, {warnings, [no_unknown]}]}.
{dialyzer_options, [{indent_opt, false}, {defines, [{vsn, 42}]}, {warnings, [no_unknown, opaque_union]}]}.
{time_limit, 20}.
2 changes: 1 addition & 1 deletion lib/dialyzer/test/underspecs_SUITE_data/dialyzer_options
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{dialyzer_options, [{indent_opt, false}, {warnings, [no_unknown, underspecs]}]}.
{dialyzer_options, [{indent_opt, false}, {warnings, [no_unknown, underspecs, opaque_union]}]}.
2 changes: 1 addition & 1 deletion lib/dialyzer/test/user_SUITE_data/dialyzer_options
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
{dialyzer_options, [{indent_opt, false}, {warnings, [no_unknown]}]}.
{dialyzer_options, [{indent_opt, false}, {warnings, [no_unknown, opaque_union]}]}.
{time_limit, 3}.

0 comments on commit 87b1e3c

Please sign in to comment.