~/bend-docscommunity

mylsm-lsm-store@0.2.0.0 fails

0x7279d7e59732e720723bbd4a452d447a

no description

mylsm-lsm-store@0.2.0.0 by FabianVegaA

Other versions (5)
Published
2026-09-25
Size
135,804 bytes, 40 files
License
BSD (LICENSE)
Declarations
0 laws (0 proved), 333 defs, 23 types

Import

import mylsm-lsm-store@0.2.0.0/mylsm.bend as Mylsm
import 0x7279d7e59732e720723bbd4a452d447a/mylsm.bend as Mylsm
import mylsm-lsm-store@0.2.0.0/src/BitTree.bend as BitTree
import 0x7279d7e59732e720723bbd4a452d447a/src/BitTree.bend as BitTree
import mylsm-lsm-store@0.2.0.0/src/Console.bend as Console
import 0x7279d7e59732e720723bbd4a452d447a/src/Console.bend as Console
import mylsm-lsm-store@0.2.0.0/src/CrashPoint.bend as CrashPoint
import 0x7279d7e59732e720723bbd4a452d447a/src/CrashPoint.bend as CrashPoint
import mylsm-lsm-store@0.2.0.0/src/Db.bend as Db
import 0x7279d7e59732e720723bbd4a452d447a/src/Db.bend as Db
import mylsm-lsm-store@0.2.0.0/src/Decimal.bend as Decimal
import 0x7279d7e59732e720723bbd4a452d447a/src/Decimal.bend as Decimal
import mylsm-lsm-store@0.2.0.0/src/Fs.bend as Fs
import 0x7279d7e59732e720723bbd4a452d447a/src/Fs.bend as Fs
import mylsm-lsm-store@0.2.0.0/src/Keys.bend as Keys
import 0x7279d7e59732e720723bbd4a452d447a/src/Keys.bend as Keys
import mylsm-lsm-store@0.2.0.0/src/Manifest.bend as Manifest
import 0x7279d7e59732e720723bbd4a452d447a/src/Manifest.bend as Manifest
import mylsm-lsm-store@0.2.0.0/src/MemTable.bend as MemTable
import 0x7279d7e59732e720723bbd4a452d447a/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.2.0.0/src/MergeIter.bend as MergeIter
import 0x7279d7e59732e720723bbd4a452d447a/src/MergeIter.bend as MergeIter
import mylsm-lsm-store@0.2.0.0/src/SortedRun.bend as SortedRun
import 0x7279d7e59732e720723bbd4a452d447a/src/SortedRun.bend as SortedRun
import mylsm-lsm-store@0.2.0.0/src/SstChecksum.bend as SstChecksum
import 0x7279d7e59732e720723bbd4a452d447a/src/SstChecksum.bend as SstChecksum
import mylsm-lsm-store@0.2.0.0/src/SstFile.bend as SstFile
import 0x7279d7e59732e720723bbd4a452d447a/src/SstFile.bend as SstFile
import mylsm-lsm-store@0.2.0.0/src/SstFileV2.bend as SstFileV2
import 0x7279d7e59732e720723bbd4a452d447a/src/SstFileV2.bend as SstFileV2
import mylsm-lsm-store@0.2.0.0/src/Sstable.bend as Sstable
import 0x7279d7e59732e720723bbd4a452d447a/src/Sstable.bend as Sstable
import mylsm-lsm-store@0.2.0.0/src/Wal.bend as Wal
import 0x7279d7e59732e720723bbd4a452d447a/src/Wal.bend as Wal

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
mylsm.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.5 s
src/BitTree.bendchecks ALL PROOFS CHECK0.9 s
src/Console.bendrelies on unsafe/foreign 2 defs rely on unsafe or foreign code
defs: read_line, get_env
output
SOME PROOFS FAIL
Error: 2 defs rely on unsafe or foreign code:
- read_line
- get_env
0.8 s
src/CrashPoint.bendrelies on unsafe/foreign 5 defs rely on unsafe or foreign code
defs: 0x7279d7e59732e720723bbd4a452d447a/src/Console.read_line, 0x7279d7e59732e720723bbd4a452d447a/src/Console.get_env, stop, hit_decision, hit
output
SOME PROOFS FAIL
Error: 5 defs rely on unsafe or foreign code:
- 0x7279d7e59732e720723bbd4a452d447a/src/Console.read_line
- 0x7279d7e59732e720723bbd4a452d447a/src/Console.get_env
- stop
- hit_decision
- hit
0.9 s
src/Db.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.9 s
src/Decimal.bendchecks ALL PROOFS CHECK0.9 s
src/Fs.bendrelies on unsafe/foreign 11 defs rely on unsafe or foreign code
defs: fsync, rename, remove, read_dir_count, read_dir_at, make_dir, chmod, exists, read_utf8_chunk, read_go, read_dir
output
SOME PROOFS FAIL
Error: 11 defs rely on unsafe or foreign code:
- fsync
- rename
- remove
- read_dir_count
- read_dir_at
- make_dir
- chmod
- exists
- read_utf8_chunk
- read_go
- read_dir
0.8 s
src/Keys.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.6 s
src/Manifest.bendchecks ALL PROOFS CHECK0.7 s
src/MemTable.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.5 s
src/MergeIter.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.6 s
src/SortedRun.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.8 s
src/SstChecksum.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.4 s
src/SstFile.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.5 s
src/SstFileV2.bendfails - expected : a fresh name (duplicate declaration: Window)
output
Error:
- expected : a fresh name (duplicate declaration: Window)
- observed : 'Window'
Location:
3 | 
4>| type Window is Data:
  |      ^^^^^^
5 |   W{a: U32, b: U32, c: U32, d: U32, e: U32, f: U32, g: U32, h: U32,
0.7 s
src/Sstable.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.9 s
src/Wal.bendfails - expected : a defined name
output
Error:
- expected : a defined name
- observed : String.eq.fin
Context:
- pair : Sigma<&1, &1, Sigma<&1, &1, String, _ => String>, _ => Cmp>
Location: cmp_eq_pair
81 | # handed-back comparison pair exposes that definitional correspondence.
82>| def cmp_eq_pair(pair: (String & String) & Cmp) -> {cmp_is_eq(unpack(pair)) == String.eq.fin(pair) : Bool}:
   |                                                                               ^^^^^^^^^^^^^
83 |   match pair:
0.8 s