def unicode.put

emerging-ezjson@1.3.0.0 · src/lex.bend:164

import Base

164def unicode.put(left: Nat, acc: U32, dig: U32, buf: List<&2, Char>, toks: List<&2, Tok>) -> Lex:
165  match left:
166    case 0n:
167      unicode.end((acc * 16 + dig : U32), buf, toks)
168    case 1n+p:
169      Lex{Uni{p, (acc * 16 + dig : U32)}, buf, toks}