def read.fast.ws

emerging-eztoml@0.9.0.0 · main.bend:5018

import Base

5018# space stays in this state; a newline stays only when keep is set
5019def read.fast.ws(
5020  sp: Bool,
5021  nl: Bool,
5022  keep: Bool,
5023  bad: String,
5024  rows: List<&2, Val>,
5025  heads: List<&2, String>,
5026  here: List<&2, String>,
5027  parts: List<&2, String>,
5028  buf: List<&2, Char>,
5029  lex: Lex,
5030  back: Lex,
5031  qkind: QKind,
5032  stack: List<&2, Ctx>,
5033  uni: U32,
5034  left: U32,
5035  arrtab: Bool,
5036  +cc: Char
5037) -> St:
5038  match sp:
5039    case True{}:
5040      read.fast.st(bad, rows, heads, here, parts, buf, lex, back, qkind, stack, uni,
5041        left, arrtab)
5042    case False{}:
5043      read.fast.ws.nl(nl, keep, bad, rows, heads, here, parts, buf, lex, back, qkind,
5044        stack, uni, left, arrtab, cc)