def tagdir.prefix

yaml-for-bend@0.1.1.0 · scan.bend:1298

import Base
import yaml-for-bend@0.1.1.0/token.bend as T

1298def tagdir.prefix(p: Taken, +st: Sc, handle: String, +used: Nat, +at: T.Mark) -> Step:
1299  match p:
1300    case Taken{+prefix, +k}:
1301      when(Step, Nat.is_eq(k, 0n), u => fail(st, "did not find expected tag URI while scanning a %TAG directive", at),
1302        u => directive.end(skip(st, Nat.add(used, k)), Some{T.TagDir{handle, prefix}}, at))