def close.failed

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

import Base

214def close.failed(
215  file: File,
216  error: U32 & String
217) -> IO(Result<&1, &1, U32 & String, Step>):
218  do IO<Result<&1, &1, U32 & String, Step>>:
219    _closed : Unit <- File.close(file)
220        return Fail{error}