From e0693a525481ac2af86830a5ec82520b62c217da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn-Egil=20Dahlberg?= Date: Thu, 30 Apr 2015 17:36:35 +0200 Subject: dialyzer: Strengthen maps tests --- lib/dialyzer/test/small_SUITE_data/results/maps_sum | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/maps_sum (limited to 'lib/dialyzer/test/small_SUITE_data/results/maps_sum') diff --git a/lib/dialyzer/test/small_SUITE_data/results/maps_sum b/lib/dialyzer/test/small_SUITE_data/results/maps_sum new file mode 100644 index 0000000000..a19c0bba96 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/maps_sum @@ -0,0 +1,4 @@ + +maps_sum.erl:15: Invalid type specification for function maps_sum:wrong1/1. The success typing is (#{}) -> 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()]) -- cgit v1.2.3