diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2016-01-18 10:10:20 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2016-01-18 10:10:20 +0100 |
| commit | d1db55be9f84331e2ac4ddf3a2c4e2a84a1c4f14 (patch) | |
| tree | 060134ff66a31612c6cfb3e7fa277d64780fd607 /lib/dialyzer/test/small_SUITE_data | |
| parent | 5c41dbbbb2b1d57f672899f0b13fe0d71686ceb9 (diff) | |
| parent | 427c9f4f7777dd00e0a03a42b9834a4d669305b6 (diff) | |
| download | otp-d1db55be9f84331e2ac4ddf3a2c4e2a84a1c4f14.tar.gz otp-d1db55be9f84331e2ac4ddf3a2c4e2a84a1c4f14.tar.bz2 otp-d1db55be9f84331e2ac4ddf3a2c4e2a84a1c4f14.zip | |
Merge branch 'maint'
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/maps1 | 4 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/maps1.erl | 12 |
2 files changed, 16 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/maps1 b/lib/dialyzer/test/small_SUITE_data/results/maps1 new file mode 100644 index 0000000000..5a78d66a92 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/maps1 @@ -0,0 +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 2nd argument from the success typing arguments: (#{},'b') +maps1.erl:52: The call Mod:'function'(~{'literal'=>'map'}~,'another_arg') requires that Mod is of type atom() | tuple() not #{} diff --git a/lib/dialyzer/test/small_SUITE_data/src/maps1.erl b/lib/dialyzer/test/small_SUITE_data/src/maps1.erl index 06ced5b69e..bb2f66a498 100644 --- a/lib/dialyzer/test/small_SUITE_data/src/maps1.erl +++ b/lib/dialyzer/test/small_SUITE_data/src/maps1.erl @@ -39,3 +39,15 @@ t2() -> ok. update(#{ id := Id, val := Val } = M, X) when is_integer(Id) -> M#{ val := [Val,X] }. + +t3() -> + foo(#{greger => 3, #{arne=>anka} => 45}, 1). + +foo(#{} = M, b) -> %% Error + M#{alfa => 42, beta := 1337}. + +t4() -> + case #{} of + #{} -> ok; + Mod -> Mod:function(#{literal => map}, another_arg) %% Error + end. |