~/bend-docscommunity

0x993b989c fails

0x993b989cb899a5e5c6facb3d6fbccf8f

no description

Anonymous package: import it by hash.

Published
2026-09-30
Size
2,015 bytes, 2 files
License
MIT (LICENSE)
Declarations
0 laws (0 proved), 0 defs, 0 types

Import

import 0x993b989cb899a5e5c6facb3d6fbccf8f/laws.bend as Laws

Modules

Other files

Dependencies

Dependents

No package in this build imports it.

Status on bend 2.0.36

FileStatusChecker saysTime
laws.bendfails - expected : a fresh constructor name (duplicate declaration: Ready)
output
Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
17 | type Root is Data:
18>|   Ready{}
   |   ^^^^^
19 |   Waiting{}
3.2 s