def lo.put

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

import Base

1206# one more hex digit of the low surrogate, or the code point
1207def lo.put(
1208  tl: String,
1209  left: Nat,
1210  acc: U32,
1211  hi: U32,
1212  dig: U32,
1213  buf: List<&2, Char>,
1214  stack: List<&2, Frame>,
1215  goal: Goal,
1216  done: Bool
1217) -> St:
1218  match left:
1219    case 0n:
1220      lo.end(tl, (acc * 16 + dig : U32), hi, buf, stack, goal, done)
1221    case 1n+p:
1222      S{MLo{p, (acc * 16 + dig : U32), hi, buf}, stack, goal, done, False{}}