Verified Commit 179bc1c0 authored by Tomáš Zemanovič's avatar Tomáš Zemanovič Committed by Mehdi Bouaziz

Clic: improve "extra arguments" error message

parent 6d5fb2ff
......@@ -2110,11 +2110,12 @@ let pp_cli_errors ppf ~executable_name ~global_options ~default errs =
~default:[]
command)
| Extra_arguments (extra, command) ->
Format.fprintf
ppf
"Extra command line arguments:@, @[<h>%[email protected]]."
(Format.pp_print_list (fun ppf -> Format.fprintf ppf "%s"))
extra ;
Format.(
fprintf
ppf
"Extra command line arguments:@, @[<h>%[email protected]]."
(pp_print_list ~pp_sep:pp_print_space pp_print_string)
extra) ;
Some [Ex command]
| Unterminated_command (_, commands) ->
Format.fprintf
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment