diff options
author | Björn-Egil Dahlberg <egil@erlang.org> | 2016-01-18 10:10:20 +0100 |
---|---|---|
committer | Björn-Egil Dahlberg <egil@erlang.org> | 2016-01-18 10:10:20 +0100 |
commit | d1db55be9f84331e2ac4ddf3a2c4e2a84a1c4f14 (patch) | |
tree | 060134ff66a31612c6cfb3e7fa277d64780fd607 /lib/dialyzer/test/small_SUITE_data/src | |
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/src')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/maps1.erl | 12 |
1 files changed, 12 insertions, 0 deletions
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. |