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
Bug reported in #284: positional parameters with arity = "*" (varargs) will greedily consume the remaining command line arguments, even arguments that are options. This does not follow the specification as described in the Mixing Options and Positional Parameters section of the user manual.
Bug reported in #284: positional parameters with
arity = "*"
(varargs) will greedily consume the remaining command line arguments, even arguments that are options. This does not follow the specification as described in the Mixing Options and Positional Parameters section of the user manual.For example, this command:
Given command line arguments like this:
Expected result:
Actual result:
The text was updated successfully, but these errors were encountered: