diff options
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen')
-rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen b/lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen deleted file mode 100644 index 6d0a7b2737..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/atom_widen +++ /dev/null @@ -1,3 +0,0 @@ - -atom_widen.erl:10: The call atom_widen:foo('z') will never return since it differs in the 1st argument from the success typing arguments: ('a' | 'b' | 'c' | 'd' | 'e' | 'f' | 'g' | 'h' | 'i' | 'k' | 'l' | 'm' | 'n') -atom_widen.erl:9: Function test/0 has no local return |