0xce7bfa94 fails
0xce7bfa94c40ded8493cdb39d330add0c
no description
Anonymous package: import it by hash.
- Published
- 2026-09-26
- Size
- 42,634 bytes, 14 files
- License
- MIT-0 (LICENSE)
- Declarations
- 0 laws (0 proved), 0 defs, 0 types
Import
import 0xce7bfa94c40ded8493cdb39d330add0c/LAWS.bend as LAWS import 0xce7bfa94c40ded8493cdb39d330add0c/PROOF.bend as PROOF import 0xce7bfa94c40ded8493cdb39d330add0c/benchmark.bend as Benchmark import 0xce7bfa94c40ded8493cdb39d330add0c/checks.bend as Checks import 0xce7bfa94c40ded8493cdb39d330add0c/conformance.bend as Conformance import 0xce7bfa94c40ded8493cdb39d330add0c/data_checks.bend as Data_checks import 0xce7bfa94c40ded8493cdb39d330add0c/example.bend as Example import 0xce7bfa94c40ded8493cdb39d330add0c/lifecycle.bend as Lifecycle import 0xce7bfa94c40ded8493cdb39d330add0c/main.bend as Main import 0xce7bfa94c40ded8493cdb39d330add0c/memo_checks.bend as Memo_checks import 0xce7bfa94c40ded8493cdb39d330add0c/model.bend as Model import 0xce7bfa94c40ded8493cdb39d330add0c/payload.bend as Payload import 0xce7bfa94c40ded8493cdb39d330add0c/release.bend as Release
Modules
- LAWS.bend not loaded
- PROOF.bend not loaded
- benchmark.bend not loaded
- checks.bend not loaded
- conformance.bend not loaded
- data_checks.bend not loaded
- example.bend not loaded
- lifecycle.bend not loaded
- main.bend not loaded
- memo_checks.bend not loaded
- model.bend not loaded
- payload.bend not loaded
- release.bend not loaded — Reviewed release root: checking/publishing includes the complete laws and proofs.
Other files
- LICENSE 949 bytes
Dependencies
- 0xd684886d via
main.bend: import 0xd684886d10b431b9dce6c3b2d1ef1980/main.bend as V
Dependents
No package in this build imports it.
Status on bend 2.0.36
| File | Status | Checker says | Time |
|---|---|---|---|
| LAWS.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.4 s |
| PROOF.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.3 s |
| benchmark.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.5 s |
| checks.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.4 s |
| conformance.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.3 s |
| data_checks.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.4 s |
| example.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.5 s |
| lifecycle.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.4 s |
| main.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.5 s |
| memo_checks.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.3 s |
| model.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.5 s |
| payload.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.4 s |
| release.bend | fails | - expected : a fresh constructor name (duplicate declaration: Ready)outputError:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 | Evaluating{}
24>| Ready{value: T}
| ^^^^^
25 | Failed{error: E} | 0.3 s |