def name.more

emerging-ezhttp@0.21.0.0 · src/unescape.bend:282

import Base

282# inside a name, a character that is not `;`: a name character joins it
283# while it has fewer than 32
284def name.more(+s: String, len: Nat, +c: Char, k: Scan -> String, join: Bool)
285  -> String:
286  match join:
287    case True{}:
288      k(Name{s ++ SCon{c, ""}, 1n+len})
289    case False{}:
290      name.end(s, c, k)