perf: normalize free variables in the type class resolution cache key#14369

Draft

Kha wants to merge 18 commits into

push-umqqwtmwmmyx

Commits on Jul 23, 2026

perf: persist type class resolution cache across commands (no invalidation)

Kha
and
claude
committed
perf: reset persistent type class resolution cache in `addInstance`

Kha
and
claude
committed
perf: key type class resolution cache by activated scoped instances

Kha
and
claude
committed
perf: make type class resolution cache fills survive backtracking

Kha
and
claude
committed
perf: normalize free variables in the type class resolution cache key

Kha
and
claude
committed
perf: key type class resolution cache by local instances

Kha
and
claude
committed
fix: memoize TC cache free-variable normalization over shared subterms

Kha
and
claude
committed
fix: only persist context-free type class resolution cache entries

Kha
and
claude
committed
fix: do not abandon type class cache key normalization on assigned metavariables

Kha
and
claude
committed
fix: do not persist free-variable-dependent type class cache entries

Kha
and
claude
committed
perf: memoize the local instance closure of the type class cache key normalization

Kha
and
claude
committed
fix: key type class resolution cache by the `isDefEq` transparency options

Kha
and
claude
committed
perf: normalize let-bound variables in the type class cache key

Kha
and
claude
committed
refactor: store persistent type class cache as plain environment extension state

Kha
and
claude
committed
perf: normalize free variables in metavariable-laden cache keys

Kha
and
claude
committed

Commits on Jul 24, 2026