Repository navigation
Site expansion for 0.2.0; W-1 rule printed once; GUESS_WHILE_LOADING in the ref - #56
Merged
Merged
Conversation
Expands the landing page for 0.2.0. Every error shown is rx-tsc 0.2.0 output on the program shown, and the fixed like button checks clean. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf
WRITE_TO_NON_SOURCE's messages ended in their own rule, so rx-tsc, which appends the rule, printed `(W-1) (W-1)`, and ref/check.ts printed `[W-1] … (W-1)`. Drop it from the message text in the crate and the ref. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf
Ports the crate's guess_while_loading to ref/src/check.ts, so ref and crate agree on it, and adds a rejected variant to S-guess-equation. ref/run.ts: 126 pass; ref/crate.ts: 353/353 programs agree; the crate's unit-test program gives the same lines (27, 32) in the ref. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf
🚀 Deploying Preview to Cloudflare 🚀Preview Deployments by commit
|
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
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.
Requested by Ryan · project thread
Site (reactivescript.dev, 0.2.0)
guesslike button and the three errorsrx-tscgives it (UNHANDLED_FAILURE, UNCAUGHT_ACTION_FAILURE, GUESS_WHILE_LOADING), then the fixed version, which checks clean..rxform → Solid 2.0 primitive, from spec/11's lowering table.rx-tscfor CI is back (language-server 0.2.0 ships it); status reads 0.2.rx-tsc0.2.0 output on the program shown, except W-1, which shows the rule once as fixed below. Wording says the checker refuses, since Vite compiles.rxunchecked.Two checker fixes found while writing it
(W-1)(and the context form in(O-4)), and rx-tsc appends the rule, giving(W-1) (W-1); ref printed[W-1] … (W-1). Dropped from the message incompiler/src/check.rsandref/src/check.ts; README line updated.guess_while_loadingtoref/src/check.ts(handlers recorded per element; the actions a click calls; inputs outside writes/guesses; covered by aloadingregion reading the target,disabledon it, or all of a form's submit buttons disabled). New rejected variant inscenarios/S-guess-equation.md; spec/99 row cites it.Checks
node ref/run.ts: 126 PASS, 0 FAILnode ref/crate.ts: 353/353 programs, crate agrees with ref (diagnostics included)cargo test --releaseincompiler/: pass🤖 Generated with Claude Code
https://claude.ai/code/session_0117BoWNWyJ5aFpYuL4JDYyf