def ph_stop

cli@0.2.0.0 · cli.bend:1276

import Base

1276# A placeholder ends at a character no name holds: at close after a name,
1277# else with an error there.
1278def ph_stop(at_close: Bool, rev: String, rest: String, +pos: Nat) -> PhScan:
1279  match at_close rev:
1280    case True{} SCon{h, t}: PhOK{SCon{h, t}, rest, Nat.add(pos, 1n)}
1281    case _ _: PhBad{pos}