def arg_alias_issue

cli@0.2.0.0 · cli.bend:1838

import Base

1838def arg_alias_issue(+name: String, +at: String,
1839    seen: List<&2, Seen>, version: Bool) -> List<&2, Problem>:
1840  Bool.pick(List<&2, Problem>, valid_arg_alias(name),
1841    Bool.pick(List<&2, Problem>, Bool.or(String.eq(name, "--help"),
1842      Bool.and(version, String.eq(name, "--version"))),
1843      [Reserved{at, name}],
1844      when_problem(arg_alias_collision(seen, name), Dup{at, name})),
1845    [BadName{at, name}])