def IO.args_bytes

Base · base.bend:195

195# IO.args as the OS hands it over: each entry's bytes (0..255), one List
196# cell each, with no UTF-8 decoding, so an argument that isn't UTF-8 (a
197# Latin-1 file name) keeps every byte, and File.open_bytes opens it. The
198# JS lanes get the arguments already decoded by the host: there, a byte
199# that isn't UTF-8 arrives as U+FFFD's UTF-8, EF BF BD.
200def IO.args_bytes() -> IO(List<List<&2, U32>>):
201  import "./effs/args.c"
202  import "./effs/args.js"