def arg_alias_collision

cli@0.2.0.0 · cli.bend:1819

import Base

1819def arg_alias_collision(seen: List<&2, Seen>, +name: String) -> Bool:
1820  match seen:
1821    case Nil{}: False{}
1822    case SeenArg{id, short, long} <> tail:
1823      Bool.or(Bool.or(same_nonempty(name, short),
1824        same_nonempty(name, long)), arg_alias_collision(tail, name))
1825    case SeenArgAlias{old} <> tail:
1826      Bool.or(same_text(name, old), arg_alias_collision(tail, name))
1827    case head <> tail:
1828      arg_alias_collision(tail, name)