Merge pull request #1923 from sliquister/broken-arg

Arg module sometimes misbehaves instead of rejecting invalid -keyword=arg inputs

Changes

@@ -50,6 +50,10 @@ Working version
   a deprecation warning since 4.02.
   (whitequark)
 
+- GPR#1923: Arg module sometimes misbehaved instead of rejecting invalid
+  -keyword=arg inputs
+  (Valentin Gatien-Baron, review by Gabriel Scherer)
+
 ### Other libraries:
 
 - GPR#1061: Add ?follow parameter to Unix.link. This allows hardlinking

stdlib/arg.ml

@@ -188,7 +188,7 @@ let parse_and_expand_argv_dynamic_aux allow_expand current argv speclist anonfun
           | Some _ -> ()
         in
         let rec treat_action = function
-        | Unit f -> f ();
+        | Unit f -> no_arg (); f ();
         | Bool f ->
             let arg = get_arg () in
             begin match bool_of_string_opt arg with
@@ -243,8 +243,10 @@ let parse_and_expand_argv_dynamic_aux allow_expand current argv speclist anonfun
             end;
             consume_arg ();
         | Tuple specs ->
+            no_arg ();
             List.iter treat_action specs;
         | Rest f ->
+            no_arg ();
             while !current < (Array.length !argv) - 1 do
               f !argv.(!current + 1);
               consume_arg ();

testsuite/tests/lib-arg/testerror.ml

@@ -38,6 +38,12 @@ let tests = [
    Arg.Unit (fun () -> raise @@ Arg.Bad("User-raised error bis")),
    "user raised error"]
 , ignore, [ "-error" ]
+
+(* bad keyword in various places*)
+; [ "-rest", Arg.Rest ignore, "help"], ignore, [ "-rest=1" ]
+; [ "-tuple", Arg.Tuple [Arg.Int print_int; Arg.Int print_int ], "help" ]
+  , ignore, [ "-tuple=1" ]
+; [ "-unit", Arg.Unit ignore, "" ], ignore, [ "-unit=1" ]
 ]
 
 let () =

testsuite/tests/lib-arg/testerror.reference

@@ -1,45 +1,65 @@
-(1/7) Bad:
+(1/10) Bad:
 testerror: option '-s' needs an argument.
 Arg module testing
   -s missing arg
   -help  Display this list of options
   --help  Display this list of options
 
-(2/7) Bad:
+(2/10) Bad:
 testerror: wrong argument 'true'; option '-set=true' expects no argument.
 Arg module testing
   -set no argument expected
   -help  Display this list of options
   --help  Display this list of options
 
-(3/7) Help:
+(3/10) Help:
 Arg module testing
   -help  Display this list of options
   --help  Display this list of options
 
-(4/7) Bad:
+(4/10) Bad:
 testerror: wrong argument 'not_an_int'; option '-int' expects an integer.
 Arg module testing
   -int wrong argument type
   -help  Display this list of options
   --help  Display this list of options
 
-(5/7) Bad:
+(5/10) Bad:
 testerror: unknown option '-an-unknown-option'.
 Arg module testing
   -help  Display this list of options
   --help  Display this list of options
 
-(6/7) Bad:
+(6/10) Bad:
 testerror: User-raised error.
 Arg module testing
   -help  Display this list of options
   --help  Display this list of options
 
-(7/7) Bad:
+(7/10) Bad:
 testerror: User-raised error bis.
 Arg module testing
   -error user raised error
   -help  Display this list of options
   --help  Display this list of options
 
+(8/10) Bad:
+testerror: wrong argument '1'; option '-rest=1' expects no argument.
+Arg module testing
+  -rest help
+  -help  Display this list of options
+  --help  Display this list of options
+
+(9/10) Bad:
+testerror: wrong argument '1'; option '-tuple=1' expects no argument.
+Arg module testing
+  -tuple help
+  -help  Display this list of options
+  --help  Display this list of options
+
+(10/10) Bad:
+testerror: wrong argument '1'; option '-unit=1' expects no argument.
+Arg module testing
+  -help  Display this list of options
+  --help  Display this list of options
+