def next.trailer.finish.footer

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:1431

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

1431def next.trailer.finish.footer(
1432  file: File,
1433  _footer: Bytes.Bytes,
1434  _expected: Bytes.Bytes,
1435  valid: Bool
1436) -> IO(Result<&1, &1, U32 & String, Step>):
1437  match valid:
1438    case False{}:
1439      close.failed(file, corruption("byte SST root checksum mismatch"))
1440    case True{}:
1441      do IO<Result<&1, &1, U32 & String, Step>>:
1442        _closed : Unit <- File.close(file)
1443        return Done{End{}}