You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
cli:run/2 accepts a run_options() which is later passed directly to functions of argparse expecting a parser_options(). This leads to dialyzer errors when passing keys which are only allowed in run_options(); e.g., error.
Dialyzing the calc example app amended to include the following (in a thingy.erl module):
thingy.erl:5:1: Function main/1 has no local return
thingy.erl:6:19: The call cli:run
(Args :: any(),
#{error => error, progname => "calc"}) will never return since it differs in the 2nd argument from the success typing arguments:
(any(),
#{'error' => 'ok', _ => _})
The text was updated successfully, but these errors were encountered:
cli:run/2 accepts a
run_options()
which is later passed directly to functions ofargparse
expecting aparser_options()
. This leads to dialyzer errors when passing keys which are only allowed inrun_options()
; e.g.,error
.Dialyzing the
calc
example app amended to include the following (in athingy.erl
module):results in:
The text was updated successfully, but these errors were encountered: