diff options
author | Lukas Larsson <[email protected]> | 2017-09-21 09:20:30 +0200 |
---|---|---|
committer | Lukas Larsson <[email protected]> | 2017-10-13 15:44:33 +0200 |
commit | 0149a73d15df1f80cb46752ec3829f48c38dd230 (patch) | |
tree | fc078c32e0cb5ae7b09548f3941af4af044a8457 /lib/dialyzer | |
parent | 513a322941d208d9dcdc4c39db2966ae4c707fe7 (diff) | |
download | otp-0149a73d15df1f80cb46752ec3829f48c38dd230.tar.gz otp-0149a73d15df1f80cb46752ec3829f48c38dd230.tar.bz2 otp-0149a73d15df1f80cb46752ec3829f48c38dd230.zip |
erts: Implement maps path iterator
Diffstat (limited to 'lib/dialyzer')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/maps_sum | 2 |
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 bd192bdb93..b29ac77d88 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 (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()]) |