Skip to content

Aether 0.806.0, the latest release - #172

Merged
nicolas-maman merged 1 commit into
mainfrom
aether-0.806
Oct 12, 2026
Merged

nicolas-maman merged 1 commit into
mainfrom
aether-0.806

Conversation

@nicolas-maman

Copy link
Copy Markdown
Collaborator

Moves CI to Aether 0.806.0, the latest release (batch PR aether#2721).

Verified locally on 0.806.0

  • Every module passes ae check, with no warnings.
  • All 38 tests pass.
  • The golden trace matches bit for bit (1256 steps).

None of the release's behaviour changes needed a code change:

  • binding an array field from an array of a different length is now a type error;
  • an arrow body that ends in an assignment now returns nothing;
  • x = x() builds;
  • a string? return is now always the caller's.

Notes

aether#2683 is fixed in 0.806.0. The gate's comment in scripts/test.sh and the note in design.md now say it once happened. The gate still checks every module as an import as well.

Pins

Aether 0.806.0 and aeb v0.326, both the latest releases.

The gate passes on 0.806.0 unchanged: every module check, every test,
and the golden trace bit for bit. Its new array-length check and arrow
body rule find nothing here. aether#2683 is fixed in it, and the gate's
note and design.md say so. aeb v0.326 is still the latest.
@nicolas-maman
nicolas-maman merged commit d16fef8 into main Oct 12, 2026
2 checks passed
@nicolas-maman
nicolas-maman deleted the aether-0.806 branch October 12, 2026 15:18
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