def tag.verbatim
yaml-for-bend@0.1.1.0 · scan.bend:1186
import yaml-for-bend@0.1.1.0/scan.bend as Scan
import Base
import yaml-for-bend@0.1.1.0/token.bend as T
1186
1187def tag.verbatim(t: Taken, +st: Sc, +at: T.Mark) -> Step:
1188 match t:
1189 case Taken{+uri, +n}:
1190 when(Step, Bool.or(String.is_empty(uri), Bool.not(Char.is_eq(peek(String.drop(sc.s(st), Nat.add(n, 2n)), 0n), '>'))),
1191 u => fail(st, "did not find the expected '>' while scanning a tag", at),
1192 u => tag.emit(st, "", uri, Nat.add(n, 3n), at))