def retag
bolt@1.27.0.0 · src/rules/pedantic/rewalk.bend:686
import bolt@1.27.0.0/src/rules/pedantic/rewalk.bend as Rewalk
import Base
686
687def retag(sites: List<&2, Site>, +note: Note) -> List<&2, Site>:
688 match sites:
689 case Nil{}:
690 Nil{}
691 case Con{Site{+name, +args, +line, +col, +len, how}, rest}:
692 +nl = note_line(note)
693 +nc = note_col(note)
694 +nh = note_how_of(note)
695 +hit = Bool.and(U32.is_eq(line, nl), U32.is_eq(col, nc))
696 retag_one(hit, how, nh, name, args, line, col, len) <> retag(rest, note)