def release_failed

mylsm-lsm-store@0.6.0.1 · src/DbLock.bend:108

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

108# Closes the file and preserves the unlock error.
109def release_failed(
110  file: File,
111  error: U32 & String,
112  operation: String,
113  path: String
114) -> IO(Result<&1, &1, DurableError.Error, Unit>):
115  match error:
116    case (code, message):
117      do IO<Result<&1, &1, DurableError.Error, Unit>>:
118        _closed : Unit <- File.close(file)
119        return Fail{DurableError.classify_open(DurableError.OpenHostFailure{code, message}, operation, path)}