def read.fast.lead

emerging-eztoml@0.9.0.0 · main.bend:5107

import Base

5107# the first character may be a byte-order mark; later characters take the fast step
5108def read.fast.lead(
5109  lead: Bool,
5110  lex: Lex,
5111  qkind: QKind,
5112  bad: String,
5113  rows: List<&2, Val>,
5114  heads: List<&2, String>,
5115  here: List<&2, String>,
5116  parts: List<&2, String>,
5117  buf: List<&2, Char>,
5118  back: Lex,
5119  stack: List<&2, Ctx>,
5120  uni: U32,
5121  left: U32,
5122  arrtab: Bool,
5123  +cc: Char
5124) -> St:
5125  match lead:
5126    case True{}:
5127      read.once(St{bad, rows, heads, here, parts, buf, lex, back, qkind, stack,
5128        HNone{}, uni, left, arrtab, True{}}, cc)
5129    case False{}:
5130      read.fast.lex(lex, qkind, bad, rows, heads, here, parts, buf, back, stack, uni,
5131        left, arrtab, cc)