release.bend fails

raw source on the hub · import 0xce7bfa94c40ded8493cdb39d330add0c/release.bend as Release

Reviewed release root: checking/publishing includes the complete laws and proofs.

5 imports

import Base
import ./PROOF.bend as Proof
import ./conformance.bend as Conformance
import ./example.bend as Example
import ./benchmark.bend as Benchmark

The reader could not load this file (at 0xce7bfa94c40ded8493cdb39d330add0c/main.bend:24). What bend.ts says:

Error:
- expected : a fresh constructor name (duplicate declaration: Ready)
- observed : 'Ready'
Location:
23 |   Evaluating{}
24>|   Ready{value: T}
   |   ^^^^^
25 |   Failed{error: E}