diff options
| author | Micael Karlberg <[email protected]> | 2011-04-12 18:09:11 +0200 |
|---|---|---|
| committer | Micael Karlberg <[email protected]> | 2011-04-12 18:09:11 +0200 |
| commit | a0c01db642374fb9fbbbb47263929f1e442e20d7 (patch) | |
| tree | 4a080c6a416eeaddbfdfca343d3f3d898639b289 /lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs | |
| parent | 4346b5dae76052e8c06b1cda70d561b10c1c486d (diff) | |
| parent | 47fc3df88eada4b07d8805dbc7fd418f6fac1c11 (diff) | |
| download | otp-a0c01db642374fb9fbbbb47263929f1e442e20d7.tar.gz otp-a0c01db642374fb9fbbbb47263929f1e442e20d7.tar.bz2 otp-a0c01db642374fb9fbbbb47263929f1e442e20d7.zip | |
Merge branch 'dev' into bmk/inets/inet56_integration
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs')
| -rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs b/lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs new file mode 100644 index 0000000000..c95c0ff1f8 --- /dev/null +++ b/lib/dialyzer/test/small_tests_SUITE_data/results/invalid_specs @@ -0,0 +1,3 @@ + +invalid_spec1.erl:5: Invalid type specification for function invalid_spec1:get_plan_dirty/1. The success typing is ([string()]) -> {maybe_improper_list(),[atom()]} +invalid_spec2.erl:5: Function foo/0 has no local return |