Skip to content

Add nominal tagged unions - #285

Merged
julia-script merged 43 commits into
mainfrom
julia/nominal-unions
Aug 29, 2026
Merged

Add nominal tagged unions#285
julia-script merged 43 commits into
mainfrom
julia/nominal-unions

Conversation

@julia-script

Copy link
Copy Markdown
Owner

Summary

  • add nominal tagged union declarations with generic unit and field variants
  • preserve nominal unions as atomic members of structural unions with hierarchical matching
  • migrate Option and Result to direct nominal unions and carrier-neutral compiler boundaries

Status

OpenSpec design is committed and validated. Implementation is in progress; commits will be pushed in verified milestones.

Validation

  • openspec validate add-nominal-unions --strict

@vercel

vercel Bot commented Aug 28, 2026

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated (UTC)
silk-effect-docs Ready Ready Preview Aug 29, 2026 2:10am

Request Review

@julia-script
julia-script merged commit 85241e0 into main Aug 29, 2026
9 checks passed
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