def wal.read.failure

mylsm-lsm-store@0.6.0.1 · src/transfer/MigrateIo.bend:522

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

522def wal.read.failure(
523  error: U32 & String,
524  released: Result<&1, &1, DurableError.Error, Unit>
525) -> Result<&1, &1, Error, Nat>:
526  match error:
527    case (code, message):
528      match released:
529        case Fail{lock_error}: Fail{LockError{lock_error}}
530        case Done{Unit{}}: Fail{HostError{code, message}}