def quote.go

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

import Base

901# the first character inside a string. A normal one opens the span on this
902# suffix; the stepper then walks the tail, so the keep is once per string
903def quote.go(
904  key: Skind,
905  ch: Char,
906  tl: String,
907  stack: List<&2, Frame>,
908  goal: Goal,
909  done: Bool
910) -> St:
911  match key:
912    case KGo{}:
913      S{MSpan{SCon{ch, tl}, 1}, stack, goal, done, False{}}
914    case KEnd{}:
915      str.place.here(PSpan{"", 0}, stack, goal)
916    case KEsc{}:
917      span.esc("", 0, stack, goal, done)
918    case KBad{}:
919      err.st(goal)