Ralph32 - #168
Merged
Merged
Ralph32#168
Conversation
The IDE depends on the compiler by path and calls Check.checkFilesOwn instead of running scuzz check. The SDK ships compiler/ and syntax/ next to ide/. The Timeline landmark shows scuzz diff workloads in two lanes. Fix emitter ownership leaks: fresh IO results from Fs and Sys kits, owned let bindings, and discarded continuation values. Leak oracles skip interned literals. Make proposal review the primary arc in vision, gaps, philosophy, and plans.
Fix Lsp.renameJson2 emitting a malformed changes object with a missing closing brace.
The editor and studio now fuzz on the evaluator. Before, the probe child inherited the host argv, so the editor treated the probe directory as its open file and the idle smoke tap (Save) wrote to it under the hermetic filesystem. The evaluator host also forced tap IO in the tap callback; compiled emission submits it to the scheduler. Pure tap closures submit nothing on both engines.
…lean up decided proposals
… operators The campaign pool stays stable, so mutation budgets and score floors keep their meaning. The deck generates classic mutants plus Int constants changed by one and effect-binding deletions. Also relabel the claims reach counter as claim drives (it counts driveHas antecedents), and claim the studio tasks file write so path mutants die.
X11 drops the min == max size lock so the WM draws resize and maximize controls; Cocoa gains the Resizable style mask. ConfigureNotify and windowDidResize enqueue the shared resize event, the session re-lays out at the new size, and present swaps the backing image in place instead of recreating the window. App-driven size changes resize the window without fighting a WM resize in flight. Expose re-blits the last frame, and minimize no longer reads as quit on Cocoa. The live record captures the resize for Headless replay.
The +archive endpoint on skia.googlesource.com 503s intermittently under load, which broke app builds after five retries. The skia-cpu workflow now packs the Skia include/ tree from the build checkout into skia-include.tar.gz and publishes it next to the prebuilt, the PIN carries hdr_url= for that asset, and the ffi-skia Makefile fetches it from the release. skia-cpu-v0.2 has the asset attached.
Em/en dashes, ellipses, arrows, and curly quotes in comments, docs, and user-facing messages become ASCII. UTF-8 fixture data stays: lexer, encoder, and render tests keep their e-acute and CJK string literals, and no golden or corpus file carried non-ASCII.
Verify.summaryJson now emits claim_drives, but the CLI self-check goldens still expected claims, so the compiled CLI printed cli-bad and the fixedpoint and apps slices failed.
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.
No description provided.