def esc.use

emerging-eztoml@0.9.0.0 · main.bend:3140

import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml

import Base

3140# apply one escape and return to the string
3141def esc.use(ee: Esc, st: St, back: Lex) -> St:
3142  match ee:
3143    case EChar{c}:
3144      st.push(st, c, back)
3145    case EUni{n}:
3146      esc.uni(st, back, n)
3147    case EFold{saw}:
3148      esc.fold.use(back, st, saw)
3149    case EBad{}:
3150      st.err(st, "invalid escape")

Uses (7)

Used by (2)