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/guard_update | |
| 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/guard_update')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/guard_update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/guard_update b/lib/dialyzer/test/map_SUITE_data/results/guard_update index e4bc892195..98df23907f 100644 --- a/lib/dialyzer/test/map_SUITE_data/results/guard_update +++ b/lib/dialyzer/test/map_SUITE_data/results/guard_update @@ -1,5 +1,5 @@ guard_update.erl:5: Function t/0 has no local return -guard_update.erl:6: The call guard_update:f(#{'a':=2}) will never return since it differs in the 1st argument from the success typing arguments: (#{'b':=_, ...}) +guard_update.erl:6: The call guard_update:f(#{'a':=2}) will never return since it differs in the 1st argument from the success typing arguments: (#{'b':=_, _=>_}) guard_update.erl:8: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2} guard_update.erl:8: Function f/1 has no local return |