def env.bad.args

shake@0.7.0.0 · src/cli.bend:1686

import shake@0.7.0.0/src/cli.bend as Cli
import Base

1686# the first argument of a command bound to an env value outside its choices
1687def env.bad.args(
1688  args: List<&2, Arg>,
1689  +vars: List<&2, Var>,
1690  +binds: List<&2, Bind>
1691) -> Maybe<&2, Var>:
1692  match args:
1693    case Nil{}:
1694      None{}
1695    case Con{hh, tt}:
1696      env.first(env.bad.arg(hh, vars, binds), env.bad.args(tt, vars, binds))

Uses (7)

Used by (1)