def hi.hit
import emerging-ezjson@1.3.0.0/src/pull.bend as Pullimport Base
import emerging-ezjson@1.3.0.0/src/lex.bend as Lex
1127# the character after a high surrogate: it has to be a backslash
1128def hi.hit(
1129 tl: String,
1130 hi: U32,
1131 buf: List<&2, Char>,
1132 stack: List<&2, Frame>,
1133 goal: Goal,
1134 done: Bool,
1135 bad: Bool,
1136 cls: Lex.Class
1137) -> St:
1138 match bad:
1139 case True{}:
1140 err.st(goal)
1141 case False{}:
1142 hi.hit.go(tl, hi, buf, stack, goal, done, cls)