def Scan.read

bend-trace-context@0.2.0.0 · trace_context.bend:2202

import Base

2202# One character of a scan that is still reading: a comma ends the member, and
2203# anything else extends it.
2204def Scan.read(comma: Bool, char: Char, member: Nat, room: Nat, current: Member,
2205  entries: List<&2, StateEntry>) -> Scan:
2206  match comma:
2207    case True{}:
2208      Scan.close(member, room, current, entries)
2209    case False{}:
2210      Scanning{member, room, Member.push(char, current), entries}