def scan.run

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

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

1498def scan.run(fuel: Nat, s: Step) -> List<&2, T.Token>:
1499  match fuel:
1500    case 0n:
1501      []
1502    case 1n+k:
1503      match s:
1504        case Go{st}:
1505          scan.run(k, fetch(st))
1506        case Stop{st}:
1507          List.reverse(&2, T.Token, sc.out(st))