aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/results
diff options
context:
space:
mode:
authorStavros Aronis <[email protected]>2011-03-21 18:37:13 +0200
committerHenrik Nord <[email protected]>2011-05-04 15:06:16 +0200
commit7afd92015a0d1c32d5fb9f8a58d1fd4326aaa522 (patch)
treec812f6934cb09e110b60c2251133d54e2885c8a8 /lib/dialyzer/test/small_SUITE_data/results
parent500567d6e12d1827f31cd52b961ed7a7e9fb9fa7 (diff)
downloadotp-7afd92015a0d1c32d5fb9f8a58d1fd4326aaa522.tar.gz
otp-7afd92015a0d1c32d5fb9f8a58d1fd4326aaa522.tar.bz2
otp-7afd92015a0d1c32d5fb9f8a58d1fd4326aaa522.zip
Add small/refine_failing
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results')
-rw-r--r--lib/dialyzer/test/small_SUITE_data/results/refine_failing2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/refine_failing b/lib/dialyzer/test/small_SUITE_data/results/refine_failing
new file mode 100644
index 0000000000..2bf67c9d81
--- /dev/null
+++ b/lib/dialyzer/test/small_SUITE_data/results/refine_failing
@@ -0,0 +1,2 @@
+
+refine_failing.erl:25: The call refine_failing:update_one(F::any(),Ds::{_,non_neg_integer()},[{_,non_neg_integer()},...]) will never return since it differs in the 2nd argument from the success typing arguments: (any(),[{_,non_neg_integer()}],[{_,non_neg_integer()}])