diff options
| author | Björn-Egil Dahlberg <[email protected]> | 2016-01-14 14:44:06 +0100 |
|---|---|---|
| committer | Björn-Egil Dahlberg <[email protected]> | 2016-01-14 14:48:59 +0100 |
| commit | fea8e2cade3de24f044c834e0b62f58921a4e9c1 (patch) | |
| tree | 599726f84ba377c1d0440331855a68bd6085811b /lib/dialyzer/test/small_SUITE_data/src | |
| parent | 5a874a9e58e09a894f36ab81a0eef46e1fc27cd0 (diff) | |
| download | otp-fea8e2cade3de24f044c834e0b62f58921a4e9c1.tar.gz otp-fea8e2cade3de24f044c834e0b62f58921a4e9c1.tar.bz2 otp-fea8e2cade3de24f044c834e0b62f58921a4e9c1.zip | |
dialyzer: Update Maps tests
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. |