diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/maps_sum')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/maps_sum | 5 |
1 files changed, 4 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 83e7c73ef2..df2a90387b 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/maps_sum +++ b/lib/dialyzer/test/small_SUITE_data/results/maps_sum @@ -1,4 +1,7 @@ -maps_sum.erl:15:2: Invalid type specification for function maps_sum:wrong1/1. The success typing is (maps:iterator(_,_) | map()) -> any() +maps_sum.erl:15:2: Invalid type specification for function maps_sum:wrong1/1. + The success typing is maps_sum:wrong1(maps:iterator(_,_) | map()) -> any() + But the spec is maps_sum:wrong1([{atom(),term()}]) -> integer() + They do not overlap in the 1st argument maps_sum.erl:26:1: Function wrong2/1 has no local return maps_sum.erl:27:17: 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()]) |