Skip to content

Move the pin to v0.2.3 - #33

Merged
onatozmenn merged 1 commit into
mainfrom
pin-0-2-3
Aug 1, 2026
Merged

Move the pin to v0.2.3#33
onatozmenn merged 1 commit into
mainfrom
pin-0-2-3

Conversation

@onatozmenn

Copy link
Copy Markdown
Contributor

The compiler released v0.2.3 today and none of it was reachable from here, because every answer on this site comes from the pinned artifact. The diagnostics index and the playground were showing a compiler two dozen commits old.

What moves with the pin:

  • The artifact. Downloaded from the release, not built here.
  • The corpus. calendar.deed is gone from it, and worth saying why: it was not deleted, it was promoted, and is std/date now. So the picker is twenty-eight rather than twenty-nine and the README's counts follow.
  • The install page, which names the release in prose and would otherwise be handing out download links for a version that is no longer the latest.
  • The one-clause page's two share links. The fragment carries the version the program was written against, and the playground compares it against its own pin and warns when they differ. Same programs, new prefix.

node tools/check.mjs passes: 69 files, every link resolves, and v0.2.3 loaded and answered about all 28 examples. It caught the one-clause fragments, which I would have missed.

The landing page's program is the one thing here not read out of a generated file, so I ran it through the new compiler rather than assuming: same code, same caret, same note.

Written with AI assistance.

The compiler released 0.2.3 today: five new diagnostics, three shipped
modules, and a checker that keeps what a `where` clause says about a sum.
None of that was reachable from this site, because everything here is an
answer from the pinned artifact.

`calendar.deed` leaves the corpus. It did not get deleted; it got
promoted, and is `std/date` now, so the picker is twenty-eight and the
counts in the README move with it.

The two share links on the one-clause page carried the old version in
their fragment, which the playground compares against its own pin and
warns about. Same programs, new prefix.
@onatozmenn
onatozmenn merged commit bd941e3 into main Aug 1, 2026
1 check passed
@onatozmenn
onatozmenn deleted the pin-0-2-3 branch August 1, 2026 17:03
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