aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/map_SUITE_data/results/map_galore
diff options
context:
space:
mode:
authorMagnus Lång <[email protected]>2016-02-28 00:35:55 +0100
committerHans Bolinder <[email protected]>2016-04-28 16:16:10 +0200
commit01916bad570fea8f13c2fdc8499a6cd5bdb8523f (patch)
treedc4a300c7a6c0823d3bb25816683e179cc579844 /lib/dialyzer/test/map_SUITE_data/results/map_galore
parent67c7fd3c516b08d3d8814debca0db2a295e0c0b8 (diff)
downloadotp-01916bad570fea8f13c2fdc8499a6cd5bdb8523f.tar.gz
otp-01916bad570fea8f13c2fdc8499a6cd5bdb8523f.tar.bz2
otp-01916bad570fea8f13c2fdc8499a6cd5bdb8523f.zip
dialyzer: Improve map pattern typesetting
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results/map_galore')
-rw-r--r--lib/dialyzer/test/map_SUITE_data/results/map_galore8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/map_galore b/lib/dialyzer/test/map_SUITE_data/results/map_galore
index 721b417bb3..6ea88f01f8 100644
--- a/lib/dialyzer/test/map_SUITE_data/results/map_galore
+++ b/lib/dialyzer/test/map_SUITE_data/results/map_galore
@@ -16,10 +16,10 @@ map_galore.erl:1498: The test #{'a':=1, 'b':=1} =:= #{'a':=1, 'b':=3} can never
map_galore.erl:1762: The call maps:get({1, 1},#{{1,float()}=>[101 | 108 | 112 | 116 | 117,...]}) will never return since the success typing arguments are (any(),map())
map_galore.erl:1763: The call maps:get('a',#{}) will never return since the success typing arguments are (any(),map())
map_galore.erl:1765: The call maps:get('a',#{'b':=1, 'c':=2}) will never return since the success typing arguments are (any(),map())
-map_galore.erl:186: The pattern ~{'x':=2}~ can never match the type #{'x':=3}
-map_galore.erl:187: The pattern ~{'x':=3}~ can never match the type {'a','b','c'}
-map_galore.erl:188: The pattern ~{'x':=3}~ can never match the type #{'y':=3}
-map_galore.erl:189: The pattern ~{'x':=3}~ can never match the type #{'x':=[101 | 104 | 114 | 116,...]}
+map_galore.erl:186: The pattern #{'x':=2} can never match the type #{'x':=3}
+map_galore.erl:187: The pattern #{'x':=3} can never match the type {'a','b','c'}
+map_galore.erl:188: The pattern #{'x':=3} can never match the type #{'y':=3}
+map_galore.erl:189: The pattern #{'x':=3} can never match the type #{'x':=[101 | 104 | 114 | 116,...]}
map_galore.erl:2304: Cons will produce an improper list since its 2nd argument is {'b','a'}
map_galore.erl:2304: The call maps:from_list(nonempty_improper_list({'a','b'},{'b','a'})) will never return since it differs in the 1st argument from the success typing arguments: ([{_,_}])
map_galore.erl:2305: The call maps:from_list('a') will never return since it differs in the 1st argument from the success typing arguments: ([{_,_}])