def read.fast.hold

emerging-eztoml@0.9.0.0 · main.bend:5133

import Base

5133# a held character is still read by the full step, then this character
5134def read.fast.hold(
5135  hold: Hold,
5136  lead: Bool,
5137  lex: Lex,
5138  qkind: QKind,
5139  bad: String,
5140  rows: List<&2, Val>,
5141  heads: List<&2, String>,
5142  here: List<&2, String>,
5143  parts: List<&2, String>,
5144  buf: List<&2, Char>,
5145  back: Lex,
5146  stack: List<&2, Ctx>,
5147  uni: U32,
5148  left: U32,
5149  arrtab: Bool,
5150  +cc: Char
5151) -> St:
5152  match hold:
5153    case HChar{held}:
5154      read.once(read.once2(St{bad, rows, heads, here, parts, buf, lex, back, qkind,
5155        stack, HChar{held}, uni, left, arrtab, lead}), cc)
5156    case HNone{}:
5157      read.fast.lead(lead, lex, qkind, bad, rows, heads, here, parts, buf, back,
5158        stack, uni, left, arrtab, cc)