def tokens.done

emerging-ezjson@1.3.0.0 · src/lex.bend:386

import Base

386def tokens.done(cut: String, nn: U32, mode: Span, toks: List<&2, Tok>) -> List<&2, Tok>:
387  match mode:
388    case GIdle{}:
389      List.reverse(&2, Tok, toks)
390    case GWord{}:
391      List.reverse(&2, Tok, tokens.push(cut, nn, True{}, toks))
392    case _:
393      List.reverse(&2, Tok, TBad{} <> toks)