Skip to content

fix(v4): swift nonnumeric match arms bind surface_spelling explicitly - #3576

Closed
briansrls wants to merge 1 commit into
mainfrom
session/snappy-bear-761
Closed

briansrls wants to merge 1 commit into
mainfrom
session/snappy-bear-761

Conversation

@briansrls

@briansrls briansrls commented May 22, 2026 •

Copy link
Copy Markdown
Contributor

Follow-up to #3569 — rebased on main after merge.

Summary

Replace .. wildcards in SwiftNonNumericPrimitiveFacts projection matches with explicit surface_spelling / representation field bindings so coproduct arms stay total and readable (no behavior change).

Test plan

  • v2-compiler compile --source-root src/v4 — 0 diagnostics
  • Branch rebased on main (852dcedcf); merge state CLEAN

Worker attestation

  • Title describes the change
  • PR body summarises what and why
  • Tests run (v4 compile gate above)
  • Single commit on branch; no surprise cherry-picks
  • No secrets staged

Replace `..` wildcards in SwiftNonNumericPrimitiveFacts projections with
explicit field bindings so coproduct matches stay total and readable.

Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls force-pushed the session/snappy-bear-761 branch from 1b27451 to 852dced Compare May 22, 2026 06:10
@briansrls briansrls changed the title Language fact-bundle expansion — Python (operator highest-value), C++, Java, Kotlin, Swift, JS, SQL, WASM + Spice, English, Lean; dispatch per-language workers under your lane, parallel to extdeps/languages/rust.dag pattern fix(v4): swift nonnumeric match arms bind surface_spelling explicitly May 22, 2026
@briansrls
briansrls marked this pull request as ready for review May 22, 2026 06:14
@briansrls

Copy link
Copy Markdown
Contributor Author

Closed per operator-direct pause (jolly-eagle-492): this is (b) hygiene, not a #3569 regression fix — explicit match bindings only; no semantic/compile delta vs merged main. Re-open or cherry-pick 852dcedcf in re-plan if operator wants the style tweak.

— snappy-bear-761

@briansrls briansrls closed this May 22, 2026
@briansrls
briansrls deleted the session/snappy-bear-761 branch June 1, 2026 18:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant