perf: consolidate all experimental typeclass inference optimisations - #14339

Draft

Kha wants to merge 22 commits into

push-nkopukwwvywz

Commits on Jul 11, 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: key type class resolution cache by local instances

Kha
and
claude
committed
perf: memoize stuck type class resolution queries

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

Kha
and
claude
committed
test: adapt `info_trees` to stuck-query memoization

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

Kha
and
claude
committed
perf: share depth-invariant type class cache entries across `synthPendingDepth`

Kha
and
claude
committed
test: adapt `completionPrefixIssue` to stuck-query memoization

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

Kha
and
claude
committed
perf: bound type class cache entry reuse by relative `synthPending` depth

Kha
and
claude
committed
fix: do not memoize stuck typeclass queries with impure keys

Kha
and
claude
committed

Commits on Jul 23, 2026