def eat.bs

emerging-eztoml@0.9.0.0 · main.bend:5262

import Base

5262# a backslash in a basic string leaves the span
5263def eat.bs(
5264  bs: Bool,
5265  basic: Bool,
5266  qq: Char,
5267  +cc: Char,
5268  cut: String,
5269  nn: U32,
5270  bad: String,
5271  rows: List<&2, Val>,
5272  heads: List<&2, String>,
5273  here: List<&2, String>,
5274  parts: List<&2, String>,
5275  qkind: QKind,
5276  stack: List<&2, Ctx>,
5277  uni: U32,
5278  left: U32,
5279  arrtab: Bool
5280) -> Mode:
5281  match bs:
5282    case True{}:
5283      eat.copy(cc, cut, nn, bad, rows, heads, here, parts, qkind, stack, uni, left,
5284        arrtab)
5285    case False{}:
5286      eat.ctrl(str.bad(Char.to_u32(cc), False{}), basic, qq, cc, cut, nn, bad, rows, heads,
5287        here, parts, qkind, stack, uni, left, arrtab)