def err.quote.pick

ezsys@0.1.0.0 · src/errno.bend:86

import Base

86# the quote a path is written between: " when it holds a ' and no ", else '
87def err.quote.pick(dq: Bool) -> Char:
88  match dq:
89    case True{}:
90      '"'
91    case False{}:
92      '\''