From 250c2fef8242317c741c83c2b4ec2283fe4bceb5 Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Fri, 7 Dec 2012 18:53:18 +0100 Subject: Report spec discrepancy on mismatching lists --- lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum (limited to 'lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum') diff --git a/lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum b/lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum new file mode 100644 index 0000000000..6f189099ed --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/empty_list_infimum @@ -0,0 +1,2 @@ + +empty_list_infimum.erl:38: Invalid type specification for function empty_list_infimum:list_vhost_permissions/1. The success typing is (_) -> [[{_,_}]] -- cgit v1.2.3