aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test
diff options
context:
space:
mode:
authorMichał Muskała <[email protected]>2018-07-19 19:37:07 +0200
committerMichał Muskała <[email protected]>2018-07-23 13:40:38 +0200
commit7cae8734155671908264dc5ad057879125125ffe (patch)
tree2e7f42163f770862fe284f3ecbe89a0b0f5a103e /lib/dialyzer/test
parentc52f42bbaf16c02143ad2a840c5a4f9101235943 (diff)
downloadotp-7cae8734155671908264dc5ad057879125125ffe.tar.gz
otp-7cae8734155671908264dc5ad057879125125ffe.tar.bz2
otp-7cae8734155671908264dc5ad057879125125ffe.zip
Refine types of functions in maps module
This only touches functions that are not further manually enhanced in erl_bif_types. The hope is that this will allow dialyzer to discover more issues in code using maps.
Diffstat (limited to 'lib/dialyzer/test')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/results/maps_sum2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/maps_sum b/lib/dialyzer/test/small_SUITE_data/results/maps_sum
index b29ac77d88..daa099e490 100644
--- a/lib/dialyzer/test/small_SUITE_data/results/maps_sum
+++ b/lib/dialyzer/test/small_SUITE_data/results/maps_sum
@@ -1,4 +1,4 @@
-maps_sum.erl:15: Invalid type specification for function maps_sum:wrong1/1. The success typing is (maps:iterator() | map()) -> any()
+maps_sum.erl:15: Invalid type specification for function maps_sum:wrong1/1. The success typing is (maps:iterator(_,_) | map()) -> any()
maps_sum.erl:26: Function wrong2/1 has no local return
maps_sum.erl:27: The call lists:foldl(fun((_,_,_) -> any()),0,Data::any()) will never return since it differs in the 1st argument from the success typing arguments: (fun((_,_) -> any()),any(),[any()])