def hiesc.hit

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

import Base

1160# the character after the backslash of a pair
1161def hiesc.hit(
1162  +ch: Char,
1163  tl: String,
1164  hi: U32,
1165  buf: List<&2, Char>,
1166  stack: List<&2, Frame>,
1167  goal: Goal,
1168  done: Bool,
1169  bad: Bool
1170) -> St:
1171  match bad:
1172    case True{}:
1173      err.st(goal)
1174    case False{}:
1175      hiesc.hit.go(tl, hi, buf, stack, goal, done, U32.is_eq(Char.to_u32(ch), 117))