Take a closure's instantiation from its construction on Lua - #1233

Merged

Frotty merged 22 commits into

lua/closure-type-class-dispatch

Aug 16, 2026

Commits on Aug 15, 2026

WIP: FastHashMap<K: Hashable, V:> as a compiler-side proof
Frotty
committed
4e690c0
Add a working backlog for the type class bound follow-ups
Frotty
committed
3ccbba2
Expand the backlog with a recurrence guard, design blockers and scope
Frotty
committed
6fac1f0
Add the overnight loop brief
Frotty
committed
e4da96d
Sanitise Lua method names where they are assigned
Frotty
committed
cc994da
Bound the wait on the Lua interpreter in tests
Frotty
committed
596b6fa
Let declared names decide which dispatch slot a method claims
Frotty
committed
a12ee4c
Finish the FastHashMap proof with remove and a cost assertion
Frotty
committed
5c23491
Take a closure's instantiation from its construction on Lua
Frotty
committed
4b27248
Pin the constructor case for Lua and say what it needs
Frotty
committed
00f89a6

Commits on Aug 16, 2026