aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHans Bolinder <[email protected]>2017-02-03 13:03:54 +0100
committerHans Bolinder <[email protected]>2017-02-03 13:03:54 +0100
commit2b0ee09e5aaf207536e07e919f629ea215da506f (patch)
tree2086270e8c3fb749841091f9cc31810187774b17
parent3f471b2eff873e8e5b2dc8a30a5b0693a17317ef (diff)
parentebee7bf96da4f3ea1520e5a72e37c09462920687 (diff)
downloadotp-2b0ee09e5aaf207536e07e919f629ea215da506f.tar.gz
otp-2b0ee09e5aaf207536e07e919f629ea215da506f.tar.bz2
otp-2b0ee09e5aaf207536e07e919f629ea215da506f.zip
Merge branch 'maint'
* maint: dialyzer: Fix a Dialyzer warning
-rw-r--r--lib/dialyzer/src/dialyzer_typesig.erl2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl
index 46cc17a230..5a44e67008 100644
--- a/lib/dialyzer/src/dialyzer_typesig.erl
+++ b/lib/dialyzer/src/dialyzer_typesig.erl
@@ -2081,6 +2081,8 @@ v2_solve_disjunct(Disj, Map, V2State0) ->
var_occurs_everywhere(V, Masks, NotFailed) ->
ordsets:is_subset(NotFailed, get_mask(V, Masks)).
+-dialyzer({no_improper_lists, [v2_solve_disj/10, v2_solve_conj/12]}).
+
v2_solve_disj([I|Is], [C|Cs], I, Map0, V2State0, UL, MapL, Eval, Uneval,
Failed0) ->
Id = C#constraint_list.id,