aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
diff options
context:
space:
mode:
authorMagnus Lång <[email protected]>2016-02-27 18:26:07 +0100
committerHans Bolinder <[email protected]>2016-04-28 16:14:24 +0200
commitee6a551e593b9788e433f7a99857729acdd5dd53 (patch)
tree5b6b44908401fd569fb0e9874f16d50b1b76d96b /lib/dialyzer/test
parent252df5612032cfba71285b5886937e88ba176529 (diff)
downloadotp-ee6a551e593b9788e433f7a99857729acdd5dd53.tar.gz
otp-ee6a551e593b9788e433f7a99857729acdd5dd53.tar.bz2
otp-ee6a551e593b9788e433f7a99857729acdd5dd53.zip
erl_bif_types: Add a selection of maps BIFs
* maps:from_list/1 * maps:get/2 * maps:is_key/2 * maps:merge/2 * maps:put/3 * maps:size/1 * maps:to_list/1 * maps:update/3
Diffstat (limited to 'lib/dialyzer/test')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/results/literals1
-rw-r--r--lib/dialyzer/test/small_SUITE_data/src/literals.erl2
2 files changed, 2 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/literals b/lib/dialyzer/test/small_SUITE_data/results/literals
index 222d2c0cdb..5d611f520b 100644
--- a/lib/dialyzer/test/small_SUITE_data/results/literals
+++ b/lib/dialyzer/test/small_SUITE_data/results/literals
@@ -5,6 +5,7 @@ literals.erl:14: Function t2/0 has no local return
literals.erl:15: Record construction #r{id::'a'} violates the declared type of field id::'integer'
literals.erl:17: Function t3/0 has no local return
literals.erl:18: Record construction #r{id::'a'} violates the declared type of field id::'integer'
+literals.erl:20: Function t4/0 has no local return
literals.erl:21: Record construction #r{id::'a'} violates the declared type of field id::'integer'
literals.erl:23: Function m1/1 has no local return
literals.erl:23: Matching of pattern {'r', 'a'} tagged with a record name violates the declared type of #r{id::'integer'}
diff --git a/lib/dialyzer/test/small_SUITE_data/src/literals.erl b/lib/dialyzer/test/small_SUITE_data/src/literals.erl
index abd7033712..3aefbf1a4e 100644
--- a/lib/dialyzer/test/small_SUITE_data/src/literals.erl
+++ b/lib/dialyzer/test/small_SUITE_data/src/literals.erl
@@ -18,7 +18,7 @@ t3() ->
{#r{id = a}}. % violation
t4() ->
- #{a => #r{id = a}}. % violation found, but t4() returns... (bug)
+ #{a => #r{id = a}}. % violation
m1(#r{id = a}) -> % violation
ok.