From c7a637f08ce52c0713e03f9a5d051edd8b4f934f Mon Sep 17 00:00:00 2001 From: Stavros Aronis Date: Fri, 18 Feb 2011 20:03:34 +0200 Subject: Update test results as they currently appear in dev --- lib/dialyzer/test/small_tests_SUITE_data/results/contract2 | 2 ++ lib/dialyzer/test/small_tests_SUITE_data/results/flatten | 2 +- lib/dialyzer/test/small_tests_SUITE_data/results/non_existing | 1 - 3 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 lib/dialyzer/test/small_tests_SUITE_data/results/contract2 (limited to 'lib/dialyzer/test/small_tests_SUITE_data/results') diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/contract2 b/lib/dialyzer/test/small_tests_SUITE_data/results/contract2 new file mode 100644 index 0000000000..6809e528c4 --- /dev/null +++ b/lib/dialyzer/test/small_tests_SUITE_data/results/contract2 @@ -0,0 +1,2 @@ + +contract2.erl:13: The call contract2:test(T::any(),nonempty_maybe_improper_list()) will never return since it differs in the 2nd argument from the success typing arguments: (['true'],[]) diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/flatten b/lib/dialyzer/test/small_tests_SUITE_data/results/flatten index c41364464d..4571214e49 100644 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/flatten +++ b/lib/dialyzer/test/small_tests_SUITE_data/results/flatten @@ -1,2 +1,2 @@ -flatten.erl:17: The call lists:flatten(nonempty_improper_list(any(),atom())) will never return since it differs in the 1st argument from the success typing arguments: ([any()]) +flatten.erl:17: The call lists:flatten(nonempty_improper_list(atom() | binary() | [any()] | char(),atom())) will never return since it differs in the 1st argument from the success typing arguments: ([any()]) diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing b/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing index b0da5998c7..58da2bfc8b 100644 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing +++ b/lib/dialyzer/test/small_tests_SUITE_data/results/non_existing @@ -1,3 +1,2 @@ -non_existing.erl:12: Call to missing or unexported function lists:non_existing_fun/1 non_existing.erl:9: Call to missing or unexported function lists:non_existing_call/1 -- cgit v1.2.3