def read.fast.ws.keep

emerging-eztoml@0.9.0.0 · main.bend:4965

import Base

4965# whitespace that this state ignores. keep is true when a newline is also ignored
4966def read.fast.ws.keep(
4967  keep: Bool,
4968  bad: String,
4969  rows: List<&2, Val>,
4970  heads: List<&2, String>,
4971  here: List<&2, String>,
4972  parts: List<&2, String>,
4973  buf: List<&2, Char>,
4974  lex: Lex,
4975  back: Lex,
4976  qkind: QKind,
4977  stack: List<&2, Ctx>,
4978  uni: U32,
4979  left: U32,
4980  arrtab: Bool,
4981  +cc: Char
4982) -> St:
4983  match keep:
4984    case True{}:
4985      read.fast.st(bad, rows, heads, here, parts, buf, lex, back, qkind, stack, uni,
4986        left, arrtab)
4987    case False{}:
4988      read.fast.old(bad, rows, heads, here, parts, buf, lex, back, qkind, stack, uni,
4989        left, arrtab, cc)