def eat.ctrl

emerging-eztoml@0.9.0.0 · main.bend:5235

import Base

5235# a forbidden control leaves the span; a plain character extends it
5236def eat.ctrl(
5237  badc: Bool,
5238  basic: Bool,
5239  qq: Char,
5240  cc: Char,
5241  cut: String,
5242  nn: U32,
5243  bad: String,
5244  rows: List<&2, Val>,
5245  heads: List<&2, String>,
5246  here: List<&2, String>,
5247  parts: List<&2, String>,
5248  qkind: QKind,
5249  stack: List<&2, Ctx>,
5250  uni: U32,
5251  left: U32,
5252  arrtab: Bool
5253) -> Mode:
5254  match badc:
5255    case True{}:
5256      eat.copy(cc, cut, nn, bad, rows, heads, here, parts, qkind, stack, uni, left,
5257        arrtab)
5258    case False{}:
5259      MEat{basic, qq, cut, U32.add(nn, 1), bad, rows, heads, here, parts, qkind, stack,
5260        uni, left, arrtab}