def word.burst.at
emerging-ezjson@1.3.0.0 · src/pull.bend:840
import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base
840
841def word.burst.at(got: (String & Wst), stack: List<&2, Frame>, goal: Goal) -> St:
842 (rest, wst) = got
843 match wst:
844 case WEof{buf, nn, num}:
845 word.burst.eof.at(word.drop(rest), buf, nn, num, stack, goal)
846 case WStop{buf, nn, num, ch}:
847 word.burst.stop(rest, ch, buf, nn, num, stack, goal)
848 case WMore{buf, nn, num}:
849 word.burst.fail(goal, word.drop(rest), buf)