def sub_collision

cli@0.2.0.0 · cli.bend:1808

import Base

1808def sub_collision(seen: List<&2, Seen>, +name: String) -> Bool:
1809  match seen:
1810    case Nil{}:
1811      False{}
1812    case SeenSub{old} <> tail:
1813      Bool.or(same_text(name, old), sub_collision(tail, name))
1814    case SeenSubAlias{old} <> tail:
1815      Bool.or(same_text(name, old), sub_collision(tail, name))
1816    case head <> tail:
1817      sub_collision(tail, name)