Skip to content

Make old apply to the whole subexpression.#579

Merged
gebner merged 1 commit intomainfrom
gebner_change_old_scope
Mar 2, 2026
Merged

Make old apply to the whole subexpression.#579
gebner merged 1 commit intomainfrom
gebner_change_old_scope

Conversation

@gebner
Copy link
Copy Markdown
Contributor

@gebner gebner commented Mar 2, 2026

After playing around more with old, I've found that the current semantics of "old applies to the stateful expression directly under it" is easy to misuse when you have larger expressions, because you need to repeat old.

One example in the ImpureSpec test already shows this with chained references. With the old syntax, it's old (! old (!x)). With this change, it's just old (! !x).

@gebner gebner enabled auto-merge March 2, 2026 22:20
@gebner gebner force-pushed the gebner_change_old_scope branch from 1cfa735 to 313ab25 Compare March 2, 2026 23:00
@gebner gebner merged commit 0c0d736 into main Mar 2, 2026
3 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