def Sp.close

bendtorch-load@1.3.0.0 · main.bend:354

import Base

354# } closes a level; closing depth 2 ends an entry
355def Sp.close(emit: Bool, ps: Ps) -> Ps:
356  match emit ps:
357    case True{} Ps{d, c, p, +n, f, dt, sh, of, ns, rs, bad}: Ps{U32.sub(d, 1), False{}, p, n, f, "", Nil{}, Nil{}, ns, Con{Rec{n, dt, sh, of}, rs}, bad}
358    case False{} Ps{d, c, p, n, f, dt, sh, of, ns, rs, bad}: Ps{U32.sub(d, 1), False{}, p, n, f, dt, sh, of, ns, rs, bad}