def uni.hit.go

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

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

1075# one hex digit of a `\u` escape
1076def uni.hit.go(
1077  +ch: Char,
1078  +tl: String,
1079  left: Nat,
1080  acc: U32,
1081  buf: List<&2, Char>,
1082  stack: List<&2, Frame>,
1083  goal: Goal,
1084  done: Bool,
1085  ok: Bool
1086) -> St:
1087  match ok:
1088    case True{}:
1089      uni.put(tl, left, acc, Lex.hex(ch), buf, stack, goal, done)
1090    case False{}:
1091      err.st(goal)