summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/small_SUITE_data/results/maps_sum
blob: 83e7c73ef205e2a5242b1f75964dbfdfe637ad0e (plain)
1
2
3
4

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: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()])