def read.exhausted.file

mylsm-lsm-store@0.6.0.1 · src/SstStreamIo.bend:293

import Base
import mylsm-lsm-store@0.6.0.1/src/Sstable.bend as Sstable

293def read.exhausted.file(file: File) -> IO(Result<&1, &1, U32 & String, Sstable.Table>):
294  do IO<Result<&1, &1, U32 & String, Sstable.Table>>:
295    _closed : Unit <- File.close(file)
296    return Fail{(U32.from_nat(7n), "bounded SST read exhausted")}