diff options
Diffstat (limited to 'lib/dialyzer/test/options3_SUITE_data/src/bad_specs.erl')
| -rw-r--r-- | lib/dialyzer/test/options3_SUITE_data/src/bad_specs.erl | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/dialyzer/test/options3_SUITE_data/src/bad_specs.erl b/lib/dialyzer/test/options3_SUITE_data/src/bad_specs.erl new file mode 100644 index 0000000000..530e1281c6 --- /dev/null +++ b/lib/dialyzer/test/options3_SUITE_data/src/bad_specs.erl @@ -0,0 +1,8 @@ +-module(bad_specs). +-export([f/1]). + +%% There will be a warning unless specs are ignored. +-spec f(integer()) -> integer(). +f(F) when is_float(F) -> + F + 1. + |