def uni.hit

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

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

1093# one hex digit of a `\u` escape
1094def uni.hit(
1095  +ch: Char,
1096  +tl: String,
1097  left: Nat,
1098  acc: U32,
1099  buf: List<&2, Char>,
1100  stack: List<&2, Frame>,
1101  goal: Goal,
1102  done: Bool,
1103  bad: Bool
1104) -> St:
1105  match bad:
1106    case True{}:
1107      err.st(goal)
1108    case False{}:
1109      uni.hit.go(ch, tl, left, acc, buf, stack, goal, done, Lex.hex.ok(Char.to_u32(ch)))