diff options
| author | Hans Bolinder <[email protected]> | 2016-06-09 13:18:07 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-06-09 15:13:05 +0200 |
| commit | af761914c9a94a9d54c1bcc2d4fff96a58674078 (patch) | |
| tree | 5954533b7d1221aec75067cb1a56cda6350b16a7 /lib/dialyzer/test/map_SUITE_data/results/map_in_guard2 | |
| parent | 68ff9f3e4b5387cf38af7aeb1a8b7abbdaa867d8 (diff) | |
| download | otp-af761914c9a94a9d54c1bcc2d4fff96a58674078.tar.gz otp-af761914c9a94a9d54c1bcc2d4fff96a58674078.tar.bz2 otp-af761914c9a94a9d54c1bcc2d4fff96a58674078.zip | |
Remove support for '...' in Maps types
It is possible that '...' is added later (OTP 20.0), but for now we
are not sure of all details.
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results/map_in_guard2')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/map_in_guard2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/map_in_guard2 b/lib/dialyzer/test/map_SUITE_data/results/map_in_guard2 index 6bc0c010d7..f6fb98a863 100644 --- a/lib/dialyzer/test/map_SUITE_data/results/map_in_guard2 +++ b/lib/dialyzer/test/map_SUITE_data/results/map_in_guard2 @@ -1,7 +1,7 @@ map_in_guard2.erl:10: The call map_in_guard2:assoc_guard_clause('not_a_map') will never return since it differs in the 1st argument from the success typing arguments: (map()) map_in_guard2.erl:12: The pattern 'true' can never match the type 'false' -map_in_guard2.erl:14: The call map_in_guard2:exact_guard_clause(#{}) will never return since it differs in the 1st argument from the success typing arguments: (#{'a':=_, ...}) +map_in_guard2.erl:14: The call map_in_guard2:exact_guard_clause(#{}) will never return since it differs in the 1st argument from the success typing arguments: (#{'a':=_, _=>_}) map_in_guard2.erl:17: Clause guard cannot succeed. The variable M was matched against the type 'not_a_map' map_in_guard2.erl:20: Function assoc_update/1 has no local return map_in_guard2.erl:20: Guard test is_map(M::'not_a_map') can never succeed |