commit: fe22d4af971c44825391077a6c9a26b529ca4c53

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 30 19:31:29 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 30 19:36:44 2026 -0800
tree: 90be15036a5277432668c8cfdc33bf3b94e4c4c8
parent: a972c4f50dfc335559be8445c739e46d1df57b3a [diff]

perf: cache `unfold_definition` in the kernel

This PR ensures we cache the result of `unfold_definition` definition
in the kernel type checker. We used to cache this information in a
thread local storage, but it was deleted during the Lean 3 to Lean 4
transition.

2 files changed

tree: 90be15036a5277432668c8cfdc33bf3b94e4c4c8

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.