From 6d9d4af8725f26972481b2e997c54ee5b3eafb29 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Wed, 24 Apr 2019 09:52:54 +0200 Subject: dialyzer: Improve the warning tagged 'fun_app_args' The mismatching argument positions are included. --- lib/dialyzer/test/small_SUITE_data/results/fun_app_args | 3 +++ 1 file changed, 3 insertions(+) create mode 100644 lib/dialyzer/test/small_SUITE_data/results/fun_app_args (limited to 'lib/dialyzer/test/small_SUITE_data/results') diff --git a/lib/dialyzer/test/small_SUITE_data/results/fun_app_args b/lib/dialyzer/test/small_SUITE_data/results/fun_app_args new file mode 100644 index 0000000000..ac153a6fb2 --- /dev/null +++ b/lib/dialyzer/test/small_SUITE_data/results/fun_app_args @@ -0,0 +1,3 @@ + +fun_app_args.erl:12: Fun application with arguments ('b',[]) will fail since the function has type 'c' | fun(('a',[]) -> any()), which differs in the 1st argument +fun_app_args.erl:12: The created fun has no local return -- cgit v1.2.3