def esc.hit.go

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

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

997# the character after a backslash
998def esc.hit.go(
999  +ch: Char,
1000  +tl: String,
1001  buf: List<&2, Char>,
1002  stack: List<&2, Frame>,
1003  goal: Goal,
1004  done: Bool,
1005  is_u: Bool
1006) -> St:
1007  match is_u:
1008    case True{}:
1009      S{MUni{3n, 0, buf}, stack, goal, done, False{}}
1010    case False{}:
1011      esc.put(tl, buf, stack, goal, done, Lex.unescape(ch))

Uses (10)

Used by (1)