def version.done

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

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

1275def version.done(m: Taken, +st: Sc, major: String, +used: Nat, +at: T.Mark) -> Step:
1276  match m:
1277    case Taken{+minor, +k}:
1278      when(Step, Nat.is_eq(k, 0n), u => fail(st, "did not find expected digit or '.' character while scanning a %YAML directive", at),
1279        u => directive.end(skip(st, Nat.add(used, k)), Some{T.VersionDir{nat.of(major, 0n), nat.of(minor, 0n)}}, at))