def File.open_bytes

Base · base.bend:309

309# The path as its bytes (0..255), with no UTF-8 encoding, so a name that
310# isn't UTF-8, as IO.args_bytes gives it, opens. A value past 255 fails
311# with EINVAL, and a 0 with EILSEQ, as a NUL in File.open's path does.
312def File.open_bytes(path: List<&2, U32>, mode: String) ->
313  IO(Result<&1, &1, U32 & String, File>):
314  import "./effs/file_open.c"
315  import "./effs/file_open.js"