def initialization.failed

mylsm-lsm-store@0.6.0.1 · src/ByteDurableDb.bend:139

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

139# Converts lock acquisition into an owned database handle.
140def initialization.failed(
141  +path: String,
142  lock: DbLock.Lock,
143  error: U32 & String
144) -> IO(Result<&1, &1, Error, Handle>):
145  match error:
146    case (code, message):
147      do IO<Result<&1, &1, Error, Handle>>:
148        _released : Result<&1, &1, DurableError.Error, Unit> <-
149          DbLock.release(lock, "create", path)
150        return Fail{Io{code, message}}