~/jendhub

def word.burst.fail

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

import emerging-ezjson@1.3.0.0/src/pull.bend as Pull
import Base

834# both the unread suffix and the buffer are dropped when the word cannot finish
835def word.burst.fail(goal: Goal, dropped: Bool, buf: List<&2, Char>) -> St:
836  match dropped:
837    case d:
838      word.burst.dead(goal, True{}, buf)

Uses (6)

Used by (1)