def sites.go

bolt@1.27.0.0 · src/syntax/bind.bend:1058

import Base

1058# every position a binder is named at: its own, then its uses'
1059def sites.go(uses: List<&2, Use>, +line: U32, +col: U32) -> List<&2, Pos>:
1060  match uses:
1061    case Nil{}:
1062      Nil{}
1063    case Con{Use{name, l, c, TLocal{+tl, +tc}}, rest}:
1064      +more = sites.go(rest, line, col)
1065      Bool.pick(List<&2, Pos>, Bool.and(U32.is_eq(tl, line), U32.is_eq(tc, col)), Pos{l, c} <> more, more)
1066    case Con{other, rest}:
1067      sites.go(rest, line, col)