def esc.hit

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

import Base

1013# the character after a backslash
1014def esc.hit(
1015  +ch: Char,
1016  +tl: String,
1017  buf: List<&2, Char>,
1018  stack: List<&2, Frame>,
1019  goal: Goal,
1020  done: Bool,
1021  bad: Bool
1022) -> St:
1023  match bad:
1024    case True{}:
1025      err.st(goal)
1026    case False{}:
1027      esc.hit.go(ch, tl, buf, stack, goal, done, U32.is_eq(Char.to_u32(ch), 117))