diff options
| author | Stavros Aronis <[email protected]> | 2011-03-20 23:43:53 +0200 |
|---|---|---|
| committer | Stavros Aronis <[email protected]> | 2011-08-29 09:31:36 +0300 |
| commit | 45537dc582a4fe44a3407e97acb0e1e391fdcd6d (patch) | |
| tree | ad8d3c87ff020889158a460a352c6cd15e64611f /lib/dialyzer/test/small_SUITE_data/results | |
| parent | e7f7a3052096286a3df0b6c2217a9fe3248be7f4 (diff) | |
| download | otp-45537dc582a4fe44a3407e97acb0e1e391fdcd6d.tar.gz otp-45537dc582a4fe44a3407e97acb0e1e391fdcd6d.tar.bz2 otp-45537dc582a4fe44a3407e97acb0e1e391fdcd6d.zip | |
Suppress some warnings about generation of non-returning funs
No warnings are emitted for funs that are non-returning when the
function that generates them has a contract that specifies that
it will return such a non-returning fun.
The actual bug, reported by Tuncer Ayaz and simplified by Maria
Christakis is included in Dialyzer's tests.
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/failing_funs | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/failing_funs b/lib/dialyzer/test/small_SUITE_data/results/failing_funs new file mode 100644 index 0000000000..a1fb22cbc6 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/failing_funs @@ -0,0 +1,20 @@ + +failing_funs.erl:101: The created fun has no local return +failing_funs.erl:104: The created fun has no local return +failing_funs.erl:127: The created fun has no local return +failing_funs.erl:135: The created fun has no local return +failing_funs.erl:138: The created fun has no local return +failing_funs.erl:13: Function foo3/0 has no local return +failing_funs.erl:13: The pattern 'b' can never match the type 'a' +failing_funs.erl:161: The created fun has no local return +failing_funs.erl:169: The created fun has no local return +failing_funs.erl:172: The created fun has no local return +failing_funs.erl:17: The pattern 'b' can never match the type 'a' +failing_funs.erl:195: The created fun has no local return +failing_funs.erl:203: The created fun has no local return +failing_funs.erl:206: The created fun has no local return +failing_funs.erl:229: The created fun has no local return +failing_funs.erl:55: The created fun has no local return +failing_funs.erl:62: The created fun has no local return +failing_funs.erl:69: The created fun has no local return +failing_funs.erl:76: The created fun has no local return |