def arg_text

cli@0.2.0.0 · cli.bend:7986

import Base

7986# A raw argument as text: each well-formed UTF-8 sequence as its char, and
7987# each byte that starts none as U+DC00 plus the byte (PEP 383), decoding on
7988# from the next byte. Run.main reads argv through it.
7989def arg_text(bytes: List<&2, U32>) -> String:
7990  match bytes:
7991    case Nil{}: SNil{}
7992    case Con{b, +rest}: arg_text_go(rest, arg_char(b, rest))