def lex.head.ch

emerging-eztoml@0.9.0.0 · main.bend:3830

import Base

3830# a bare character continues the segment, or starts one at the beginning
3831def lex.head.ch(st: St, cc: Char) -> St:
3832  St{bad, rows, heads, here, +parts, +buf, lx, back, qkind, stack, hold, uni, left,
3833    arrtab, lead} = st
3834  lex.head.ch.go(Bool.and(Bool.not(List.is_empty(&2, String, parts)),
3835    List.is_empty(&2, Char, buf)),
3836    St{bad, rows, heads, here, parts, buf, lx, back, qkind, stack, hold, uni, left,
3837      arrtab, lead}, cc)