def after

bolt@1.27.0.0 · src/rules/correctness/escape.bend:90

import Base
import bolt@1.27.0.0/src/finding.bend as F

90# after a `\0` at a column: a finding when a digit follows
91def after(ss: List<&2, Sym>, +path: String, +line: U32, +col: U32, more: List<&2, F.Finding>) -> List<&2, F.Finding>:
92  match ss:
93    case Con{SZero{}, t}:
94      finding(run(SZero{} <> t, 2n), path, line, col) <> more
95    case Con{SDigit{d}, t}:
96      finding(run(SDigit{d} <> t, 2n), path, line, col) <> more
97    case other:
98      more