def read.fast.str

emerging-eztoml@0.9.0.0 · main.bend:4863

import Base

4863# one character of a string
4864def read.fast.str(
4865  qkind: QKind,
4866  bad: String,
4867  rows: List<&2, Val>,
4868  heads: List<&2, String>,
4869  here: List<&2, String>,
4870  parts: List<&2, String>,
4871  buf: List<&2, Char>,
4872  back: Lex,
4873  stack: List<&2, Ctx>,
4874  uni: U32,
4875  left: U32,
4876  arrtab: Bool,
4877  +cc: Char
4878) -> St:
4879  match qkind:
4880    case QBasic{}:
4881      read.fast.basic(Char.is_eq(cc, '"'), Char.is_eq(cc, '\\'), bad, rows, heads, here,
4882        parts, buf, back, stack, uni, left, arrtab, cc)
4883    case QLit{}:
4884      read.fast.lit(Char.is_eq(cc, '\''), bad, rows, heads, here, parts, buf, back,
4885        stack, uni, left, arrtab, cc)
4886    case other:
4887      read.fast.old(bad, rows, heads, here, parts, buf, LStr{}, back, other, stack,
4888        uni, left, arrtab, cc)