def refine

bolt@1.27.0.0 · src/syntax/lex.bend:275

import bolt@1.27.0.0/src/syntax/lex.bend as Lex
import Base

275# a name's or an operator's kind, once its text is whole
276def refine(kind: TokKind, tt: String) -> TokKind:
277  match kind:
278    case TName{}:
279      refine_name(tt)
280    case TOp{}:
281      refine_op(tt)
282    case other:
283      other

Uses (4)

Used by (1)