commit: ebf6313cb96a6bbd7a56521030a7f51e0f2860ac

[log]
author: Kim Morrison <kim@tqft.net>

Mon Mar 30 21:52:52 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Mon Mar 30 21:52:52 2026 +0000
tree: b710e3a1d804881268d8d0e40a0553d7df4953bb
parent: 2b4e051c6125ab6a0429c46d5562eab42051062c [diff]

fix: shared name counter across nested memoized% scopes

Share the nextId counter between parent and child PPCtx to avoid
name collisions (e.g., outer s0 and inner s0). Add stress tests for
sibling lambdas, nested depth sharing, name collision avoidance,
and let-cross-body sharing.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>

2 files changed

tree: b710e3a1d804881268d8d0e40a0553d7df4953bb

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.