fix: build and run under bend 2.0.28 - #208
Merged
Merged
Conversation
bend 2.0.28 refuses a declaration that redeclares a Base name, and Base
now declares Set: `type Set` in src/config.bend failed every file that
imports it ("a fresh name (duplicate declaration: Set)"). Renamed the
type and its constructor Config.Set -> Config.LevelSet, with its uses in
src/LAWS.bend (a rename in six laws' binders and two statements, not a
change of meaning).
2.0.28 also registers a foreign effect by its def name on both lanes,
io_eff(CID(Name), run, need): the C effects' CID_A_B macros no longer
exist, and a JS effect file that only defines its function is no longer
found ("no effect registers ..."). Ported bendcheck.exec, stdio.fd,
walkdir.cwd and walkdir.entries, and the AGENTS.md note that described
the old shape.
Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Vp3SCG5bcKMF4fUytZTwPj
Moves the bend input to bendlang/bend main (2.0.28; the v2.0.28 tag's flake still packages 2.0.27) and says so in the README. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Vp3SCG5bcKMF4fUytZTwPj
snap 1.1.0 registers its effects the 2.0.28 way, which tests/bare.bend needs. ez 1.2.0 does not build on bend 2.0.28 (its sha256 dependency declares `type Window`, now a Base name), so the ez input no longer follows this flake's bend: `ez prove` runs on the bend ez 1.2.0 locks, and bolt itself builds on 2.0.28. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01Vp3SCG5bcKMF4fUytZTwPj
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Moves bolt to bend 2.0.28.
What 2.0.28 broke
Set, and 2.0.28 refuses a redeclared Base name:type Setinsrc/config.bendfailed every file importing it. RenamedConfig.Set->Config.LevelSet(type and constructor) and its uses insrc/LAWS.bend(six laws' binders, two statements). This is a rename, not a change of meaning.io_eff(CID(Name), run, need). The CCID_A_Bmacros are gone (clang: undeclared identifier) and a JS file that only defines its function is not found ("no effect registers ..."). Portedbendcheck.exec,stdio.fd,walkdir.cwd,walkdir.entries, and the AGENTS.md gotcha that described the old shape.bendinput moved to bendlang/bend main (2.0.28). README says 2.0.28.No numeric name segments. No new "unsafe or foreign" verdict listings (identical to 2.0.27). Every PROOF.bend: "All terms check."
CI will stay red until deps re-release.
checks.testneeds theezbinary, and ez v1.2.0 does not build under 2.0.28 (type Window: duplicate declaration).tests/bare.bendalso needs snap re-released (its effects use the old registration). With a locally ported snap,tests/bare.bendandsrc/lsp/tests/checker.bendpass on both lanes, andchecks.boltandchecks.lintpass. shake, ezjson and snap deps are unchanged here on purpose.🤖 Generated with Claude Code
https://claude.ai/code/session_01Vp3SCG5bcKMF4fUytZTwPj
BEGIN_COMMIT_OVERRIDE
fix: build and run under bend 2.0.28
END_COMMIT_OVERRIDE