Which prelude names the backend cannot compile, enumerated rather than remembered - #685
Merged
Merged
Conversation
onatozmenn
enabled auto-merge (squash)
July 30, 2026 22:36
onatozmenn
force-pushed
the
issue-621-backend-prelude-coverage
branch
from
July 30, 2026 23:30
07e9202 to
5b49f92
Compare
…n remembered (#621) crates/deed-driver/tests/backend_prelude.rs tries one minimal program per name from deed_resolve::PRELUDE and deed_resolve::IO_OPERATIONS through the real pipeline (check, lower, compile), and pins the result by name. All ten Io operations compile: they reach the backend as host imports (#569). Three of the thirteen callable prelude functions compile (ok, err, length); the other ten (at, push, repeat, split, join, trim, upper, lower, to_string, to_int) do not yet, matching the gap sink.deed's closure signature and early return (#620) already sit in. Type names are left out of the count on purpose: whether a value of one passes through the backend is a different, already-answered question. Fixed compile.rs's own doc comment along the way: it still said capabilities were refused by name, which stopped being true when #569 landed and stayed written down after. design/05-backend.md carries the numbers next to the wasm32 section they belong with.
onatozmenn
force-pushed
the
issue-621-backend-prelude-coverage
branch
from
July 30, 2026 23:44
5b49f92 to
7f42389
Compare
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.
Closes #621.
crates/deed-driver/tests/backend_prelude.rstries one minimal program per name fromdeed_resolve::PRELUDEanddeed_resolve::IO_OPERATIONSthrough the real pipeline (check, lower, compile), and pins the result by name.All ten
Iooperations compile: they reach the backend as host imports (#569). Three of the thirteen callable prelude functions compile (ok,err,length); the other ten (at,push,repeat,split,join,trim,upper,lower,to_string,to_int) do not yet, matching the gapsink.deed's closure signature and earlyreturn(#620) already sit in. Type names are left out of the count on purpose: whether a value of one passes through the backend is a different, already-answered question.Fixed
compile.rs's own doc comment along the way: it still said capabilities were refused by name, which stopped being true when #569 landed and stayed written down after.design/05-backend.mdcarries the numbers next to the wasm32 section they belong with.