def word.run

emerging-ezjson@1.3.0.0 · src/pull.bend:676

import Base

676# the suffix after a plain word. Tail call, so a long number is one loop
677def word.run(txt: String, st: Wst) -> (String & Wst):
678  match txt st:
679    case rest WStop{buf, nn, num, ch}:
680      (rest, WStop{buf, nn, num, ch})
681    case rest WEof{buf, nn, num}:
682      (rest, WEof{buf, nn, num})
683    case SNil{} WMore{buf, nn, num}:
684      ("", WEof{buf, nn, num})
685    case SCon{+c, t} WMore{buf, nn, num}:
686      word.run(t, word.decide(c, Char.to_u32(c), buf, nn, num))