def open.failed

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:222

import Base

222def open.failed(
223  file: File,
224  error: U32 & String
225) -> IO(Result<&1, &1, U32 & String, Reader>):
226  do IO<Result<&1, &1, U32 & String, Reader>>:
227    _closed : Unit <- File.close(file)
228    return Fail{error}