def read.fast.key

emerging-eztoml@0.9.0.0 · main.bend:4890

import Base

4890# one character of a bare key
4891def read.fast.key(
4892  ok: Bool,
4893  bad: String,
4894  rows: List<&2, Val>,
4895  heads: List<&2, String>,
4896  here: List<&2, String>,
4897  parts: List<&2, String>,
4898  buf: List<&2, Char>,
4899  back: Lex,
4900  qkind: QKind,
4901  stack: List<&2, Ctx>,
4902  uni: U32,
4903  left: U32,
4904  arrtab: Bool,
4905  +cc: Char
4906) -> St:
4907  match ok:
4908    case True{}:
4909      read.fast.cons(bad, rows, heads, here, parts, buf, LKey{}, back, qkind, stack,
4910        uni, left, arrtab, cc)
4911    case False{}:
4912      read.fast.old(bad, rows, heads, here, parts, buf, LKey{}, back, qkind, stack,
4913        uni, left, arrtab, cc)