diff options
Diffstat (limited to 'lib/dialyzer/test/small_tests_SUITE_data/results/trec')
-rw-r--r-- | lib/dialyzer/test/small_tests_SUITE_data/results/trec | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lib/dialyzer/test/small_tests_SUITE_data/results/trec b/lib/dialyzer/test/small_tests_SUITE_data/results/trec deleted file mode 100644 index 01ccc63761..0000000000 --- a/lib/dialyzer/test/small_tests_SUITE_data/results/trec +++ /dev/null @@ -1,7 +0,0 @@ - -trec.erl:26: Function test/0 has no local return -trec.erl:27: The call trec:mk_foo_loc(42,any()) will never return since it differs in the 1st argument from the success typing arguments: ('undefined',atom()) -trec.erl:29: Function mk_foo_loc/2 has no local return -trec.erl:30: Record construction violates the declared type for #foo{} since variable A cannot be of type atom() -trec.erl:36: Function mk_foo_exp/2 has no local return -trec.erl:37: Record construction violates the declared type for #foo{} since variable A cannot be of type atom() |