diff options
| author | Hans Bolinder <[email protected]> | 2017-02-03 13:02:46 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2017-02-03 13:02:46 +0100 |
| commit | ebee7bf96da4f3ea1520e5a72e37c09462920687 (patch) | |
| tree | a92c30213027404f420fc0182541cc4e080e2352 /lib/dialyzer | |
| parent | ea530357b27635278ae8a3260e735ea39df5c283 (diff) | |
| parent | a18c54346f0e760da5cb4620cdc18530f79e7a52 (diff) | |
| download | otp-ebee7bf96da4f3ea1520e5a72e37c09462920687.tar.gz otp-ebee7bf96da4f3ea1520e5a72e37c09462920687.tar.bz2 otp-ebee7bf96da4f3ea1520e5a72e37c09462920687.zip | |
Merge branch 'hasse/dialyzer/fix_a_warning' into maint
* hasse/dialyzer/fix_a_warning:
dialyzer: Fix a Dialyzer warning
Diffstat (limited to 'lib/dialyzer')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_typesig.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/src/dialyzer_typesig.erl b/lib/dialyzer/src/dialyzer_typesig.erl index fc1e892e28..e8d9c06799 100644 --- a/lib/dialyzer/src/dialyzer_typesig.erl +++ b/lib/dialyzer/src/dialyzer_typesig.erl @@ -2088,6 +2088,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, |