~/jendhub

def err.plain

ezsys@0.1.0.0 · src/errno.bend:129

import ezsys@0.1.0.0/src/errno.bend as Errno
import Base

129# any other character: a backslash or the quote escaped, else itself
130def err.plain(+qt: Char, +cp: U32) -> String:
131  err.when(U32.is_eq(cp, 92), _u => "\\\\",
132    _u => err.when(Char.is_eq(Chr{cp}, qt), _v => SCon{'\\', SCon{qt, SNil{}}},
133      _v => SCon{Chr{cp}, SNil{}}))

Uses (6)

Used by (1)