diff options
| author | Hans Bolinder <[email protected]> | 2019-04-26 08:53:06 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-26 08:53:06 +0200 |
| commit | a90da2351b7088547b93413a3adf779d936bd056 (patch) | |
| tree | 1a2eed3f836f64d4218d3e8826b2b1aac9f5f5e7 /lib/dialyzer/src/dialyzer_dataflow.erl | |
| parent | 8f6d45ddc8b2b12376c252a30b267a822cad171a (diff) | |
| parent | 6d9d4af8725f26972481b2e997c54ee5b3eafb29 (diff) | |
| download | otp-a90da2351b7088547b93413a3adf779d936bd056.tar.gz otp-a90da2351b7088547b93413a3adf779d936bd056.tar.bz2 otp-a90da2351b7088547b93413a3adf779d936bd056.zip | |
Merge branch 'hasse/dialyzer/fun_app_args/OTP-15779'
* hasse/dialyzer/fun_app_args/OTP-15779:
dialyzer: Improve the warning tagged 'fun_app_args'
Diffstat (limited to 'lib/dialyzer/src/dialyzer_dataflow.erl')
| -rw-r--r-- | lib/dialyzer/src/dialyzer_dataflow.erl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lib/dialyzer/src/dialyzer_dataflow.erl b/lib/dialyzer/src/dialyzer_dataflow.erl index 45b4abb253..f7aa167f5c 100644 --- a/lib/dialyzer/src/dialyzer_dataflow.erl +++ b/lib/dialyzer/src/dialyzer_dataflow.erl @@ -405,8 +405,13 @@ handle_apply(Tree, Map, State) -> t_fun_args(OpType1, 'universe')), case any_none(NewArgs) of true -> + EnumNewArgs = lists:zip(lists:seq(1, length(NewArgs)), + NewArgs), + ArgNs = [Arg || + {Arg, Type} <- EnumNewArgs, t_is_none(Type)], Msg = {fun_app_args, - [format_args(Args, ArgTypes, State), + [ArgNs, + format_args(Args, ArgTypes, State), format_type(OpType, State)]}, State3 = state__add_warning(State2, ?WARN_FAILING_CALL, Tree, Msg), |