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/small_SUITE_data | |
| 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/small_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/maps1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/maps1 b/lib/dialyzer/test/small_SUITE_data/results/maps1 index a178e96b20..f36f7f4926 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/maps1 +++ b/lib/dialyzer/test/small_SUITE_data/results/maps1 @@ -1,4 +1,4 @@ maps1.erl:43: Function t3/0 has no local return -maps1.erl:44: The call maps1:foo(#{'greger'=>3, #{'arne'=>'anka'}=>45},1) will never return since it differs in the 1st and 2nd argument from the success typing arguments: (#{'beta':=_, ...},'b') +maps1.erl:44: The call maps1:foo(#{'greger'=>3, #{'arne'=>'anka'}=>45},1) will never return since it differs in the 1st and 2nd argument from the success typing arguments: (#{'beta':=_, _=>_},'b') maps1.erl:52: The variable Mod can never match since previous clauses completely covered the type #{} |