def bash_opt_case

cli@0.2.0.0 · cli.bend:6553

import Base

6553def bash_opt_case(opt: Opt) -> List<&2, String>:
6554  match opt:
6555    case Opt{names, OptionKind{many}, ph, comp, help}:
6556      [String.concat(["        ", sh_list(names, "|"), ") ",
6557        bash_kind(comp, False{}), " ;;"])]
6558    case Opt{names, BareOptionKind{}, ph, comp, help}:
6559      [String.concat(["        ", sh_list(names, "|"), ") ",
6560        bash_kind(comp, True{}), " ;;"])]
6561    case _: []