def hiesc.hit.go

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

import Base

1144# the character after the backslash of a pair: it has to be `u`
1145def hiesc.hit.go(
1146  _tl: String,
1147  hi: U32,
1148  buf: List<&2, Char>,
1149  stack: List<&2, Frame>,
1150  goal: Goal,
1151  done: Bool,
1152  is_u: Bool
1153) -> St:
1154  match is_u:
1155    case True{}:
1156      S{MLo{3n, 0, hi, buf}, stack, goal, done, False{}}
1157    case False{}:
1158      err.st(goal)