diff options
| author | Stavros Aronis <[email protected]> | 2011-03-21 18:37:13 +0200 |
|---|---|---|
| committer | Henrik Nord <[email protected]> | 2011-05-04 15:06:16 +0200 |
| commit | 7afd92015a0d1c32d5fb9f8a58d1fd4326aaa522 (patch) | |
| tree | c812f6934cb09e110b60c2251133d54e2885c8a8 /lib/dialyzer/test/small_SUITE_data/results | |
| parent | 500567d6e12d1827f31cd52b961ed7a7e9fb9fa7 (diff) | |
| download | otp-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_failing | 2 |
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()}]) |