def read_all

bendtorch@1.3.0.0 · main.bend:3320

import Base

3320def read_all(+path: String) -> IO(List<&2, U32>):
3321  do IO<List<&2, U32>>:
3322    f : File <- IO.try(File, File.open(path, "r"))
3323    m : File & Result<&1, &1, U32 & String, List<&2, U32>> <- File.read_bytes(f, 2000000000)
3324    rd_done(m)