Cli.env.bad.go: def of shake@0.7.0.0
Import: import shake@0.7.0.0/src/cli.bend as Cli
Lines 1716-1729 of shake@0.7.0.0/src/cli.bend: https://jend.leeeet.dev/read.txt?path=shake@0.7.0.0/src/cli.bend&start_line=1716&end_line=1729

import Base

# the first argument bound to an env value outside its choices, the command
# first, then down the selected path
def env.bad.go(
  mm: Matched,
  +args: List<&2, Arg>,
  +subs: List<&2, Sub>,
  +vars: List<&2, Var>
) -> Maybe<&2, Var>:
  match mm:
    case Leaf{+bs}:
      env.bad.args(args, vars, bs)
    case Node{+bs, +name, next}:
      env.first(env.bad.args(args, vars, bs),
        env.bad.go(next, env.sub.args(find_sub(subs, name)), env.sub.kids(find_sub(subs, name)), vars))

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Arg
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Matched
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Sub
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=Var
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=env.bad.args
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=env.first
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=env.sub.args
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=env.sub.kids
  https://jend.leeeet.dev/definition.txt?path=shake@0.7.0.0/src/cli.bend&name=find_sub