Skip to content

v1.6.3

Choose a tag to compare

View all tags
@wolfy-j wolfy-j released this 01 Oct 14:51
v1.6.3
c19f440
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

False-positive fixes reported after v1.6.2, keeping v1.6.2's soundness.

  • Bee: declared records stay intact across field writes and callee effects; asserted member reads ((x :: T).f); declared literal-union fields are kept by table.sort and generic inference; captured alias bounds; union narrowing inside optional aliases. Verbatim fixtures bee-*.
  • Kickside/userspace: record field presence and value compared separately with one nil-admission rule; contextual typing for and/or alternatives; instance field slots join the constructor and method writes; recursive return estimates; returns validated only at reachable points; no unresolved in diagnostics; one fixpoint oscillation fixed.
  • Record-to-map assignability is unchanged (v1.6.2 semantics); the sound model is planned for v1.7.
  • Verified against v1.6.2 on 115 kickside + 17 userspace/keeper/app targets, the verify-suite and Bee strict lint: the only new gradual error is a true positive. No convergence warnings.
Assets 2
Loading