def skip.step

bolt@1.27.0.0 · src/rules/suspicious/prefix.bend:119

import Base
import bolt@1.27.0.0/src/syntax/lex.bend as Lex

119# where a token of the kind leaves the scan at the depth
120def skip.step(kk: Lex.TokKind, dd: Nat) -> Skip:
121  match kk:
122    case Lex.TComma{}:
123      skip.comma(dd)
124    case Lex.TOpen{}:
125      SGo{1n+dd}
126    case Lex.TClose{}:
127      skip.close(dd)
128    case other:
129      SGo{dd}