def route.close.failed

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

import Base

730def route.close.failed(
731  file: File,
732  error: U32 & String
733) -> IO(Result<&1, &1, U32 & String, Reader>):
734  do IO<Result<&1, &1, U32 & String, Reader>>:
735    _closed : Unit <- File.close(file)
736    return Fail{error}