def lock_failed

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

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

59# Closes the file and classifies a failed lock attempt.
60def lock_failed(
61  file: File,
62  error: U32 & String,
63  operation: String,
64  path: String
65) -> IO(Result<&1, &1, DurableError.Error, Lock>):
66  match error:
67    case (code, message):
68      do IO<Result<&1, &1, DurableError.Error, Lock>>:
69        _closed : Unit <- File.close(file)
70        return Fail{Policy.classify_lock_error(code, message, operation, path)}