Skip to content

v0.1.370 — x in tuple → chained-OR membership (PMAT-671)

Choose a tag to compare

View all tags
@noahgift noahgift released this 15 Jun 14:39
· 72 commits to main since this release
v0.1.370
09e7f77
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Correctness (PMAT-671): x in t / x not in t over a fixed-arity tuple now works (it was rejected as "unsupported comparison operator: In") — Rust tuples have no .contains, so it's lowered to a chained-OR of equalities x == t.0 || x == t.1 || … (not in negated). Homogeneous tuple matching the needle type; empty tuple → False. Found by the HUNT-V5 differential hunt; verified vs python3. Completes the tuple cluster (sum/min/max + negative index + membership). 428 e2e fixtures.

Assets 2
Loading