def parse.take_choice

shake@0.7.0.0 · src/cli.bend:614

import Base

614# bind `name` to `val` when the value is allowed
615def parse.take_choice(
616  ok: Bool,
617  +name: String,
618  +val: String,
619  +args: List<&2, Arg>,
620  +up: List<&2, Level>,
621  +subs: List<&2, Sub>,
622  +path: List<&2, String>,
623  +binds: List<&2, Bind>,
624  +pos: List<&2, Arg>,
625  +raw: Bool,
626  +seen: Bool
627) -> St:
628  match ok:
629    case True{}:
630      parse.put(name, val, args, up, subs, path, binds, pos, raw, seen)
631    case False{}:
632      parse.dead(BadValue{path, name, val}, args, up, subs, path, binds, pos, raw, seen)