~/jendhub

def name.go

bolt@1.27.0.0 · src/syntax/outline.bend:195

import bolt@1.27.0.0/src/syntax/outline.bend as Outline
import Base

195# the name, reversed into acc, up to a delimiter
196def name.go(ss: String, acc: String, stop: Bool) -> String:
197  match ss stop:
198    case SNil{} _:
199      String.reverse(acc)
200    case SCon{h, t} True{}:
201      String.reverse(acc)
202    case SCon{+h, t} False{}:
203      name.go(t, name.push(name.stop(h), h, acc), name.stop(h))

Uses (5)

Used by (1)