def word.burst.err

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

import Base

704# a failed word, once its buffer and the unread suffix are gone
705def word.burst.err(goal: Goal, dropped: Bool) -> St:
706  match dropped:
707    case d:
708      err.st(goal)