def word.burst.dead

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

import Base

710# a failed word drops the buffer after the unread suffix
711def word.burst.dead(goal: Goal, dropped: Bool, buf: List<&2, Char>) -> St:
712  match dropped:
713    case d:
714      word.burst.err(goal, word.forget(buf))