diff options
| author | Magnus Lång <[email protected]> | 2016-02-27 18:26:07 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2016-04-28 16:14:24 +0200 |
| commit | ee6a551e593b9788e433f7a99857729acdd5dd53 (patch) | |
| tree | 5b6b44908401fd569fb0e9874f16d50b1b76d96b /lib/dialyzer/test | |
| parent | 252df5612032cfba71285b5886937e88ba176529 (diff) | |
| download | otp-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/literals | 1 | ||||
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/src/literals.erl | 2 |
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. |