def read.fast.push

emerging-eztoml@0.9.0.0 · main.bend:4764

import Base

4764# a forbidden control takes the full step; a plain character is stored
4765def read.fast.push(
4766  ctrl: Bool,
4767  bad: String,
4768  rows: List<&2, Val>,
4769  heads: List<&2, String>,
4770  here: List<&2, String>,
4771  parts: List<&2, String>,
4772  buf: List<&2, Char>,
4773  lex: Lex,
4774  back: Lex,
4775  qkind: QKind,
4776  stack: List<&2, Ctx>,
4777  uni: U32,
4778  left: U32,
4779  arrtab: Bool,
4780  +cc: Char
4781) -> St:
4782  match ctrl:
4783    case False{}:
4784      read.fast.cons(bad, rows, heads, here, parts, buf, lex, back, qkind, stack, uni,
4785        left, arrtab, cc)
4786    case True{}:
4787      read.fast.old(bad, rows, heads, here, parts, buf, lex, back, qkind, stack, uni,
4788        left, arrtab, cc)