def wal.sized

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

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

590# Rejects oversized WAL input before opening its data file.
591def wal.sized(
592  lock: DbLock.Lock,
593  size: Nat,
594  +path: String,
595  within_limit: Bool
596) -> IO(Result<&1, &1, Error, Nat>):
597  match within_limit:
598    case False{}: release(lock, Fail{ResourceLimit{}}, path)
599    case True{}:
600      do IO<Result<&1, &1, Error, Nat>>:
601        opened : Result<&1, &1, U32 & String, File> <-
602          File.open(path ++ "/WAL", "r")
603        wal.opened(lock, size, opened, path)