def lex.date.digit

emerging-eztoml@0.9.0.0 · main.bend:3736

import Base

3736# the space and the digit belong to the datetime
3737def lex.date.digit(st: St, cc: Char) -> St:
3738  St{bad, rows, heads, here, parts, buf, _lex, back, qkind, stack, hold, uni, left,
3739    arrtab, lead} = st
3740  St{bad, rows, heads, here, parts, cc <> (' ' <> buf), LBare{}, back, qkind, stack, hold,
3741    uni, left, arrtab, lead}