def mark.rest

bolt@1.27.0.0 · src/noqa.bend:159

import Base

159# a comment's text past `noqa`: a mark naming the codes after a `:`, a bare
160# one at the end or before a space, and none for anything else (`noqas`)
161def mark.rest(+line: U32, +col: U32, +len: U32, tt: String) -> List<&2, Mark>:
162  match tt:
163    case SNil{}:
164      [Mark{line, col, len, []}]
165    case SCon{':', rest}:
166      [Mark{line, col, len, codes(rest)}]
167    case SCon{' ', _rest}:
168      [Mark{line, col, len, []}]
169    case other:
170      []