def publish.rename.failed

mylsm-lsm-store@0.6.0.1 · src/transfer/BackupIo.bend:84

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

84def publish.rename.failed(
85  +temporary: String,
86  disposition: PublicationPolicy.Failure,
87  error: U32 & String
88) -> IO(Result<&1, &1, Error, Unit>):
89  match disposition:
90    case PublicationPolicy.KnownFailure{}:
91      match error:
92        case (code, message):
93          do IO<Result<&1, &1, Error, Unit>>:
94            cleanup(temporary)
95            return Fail{Io{code, "exclusive backup rename failed: " ++ message}}
96    case PublicationPolicy.CommitUnknown{}:
97      match error:
98        case (code, message):
99          IO.pure(Result<&1, &1, Error, Unit>, Fail{CommitUnknown{code, message}})