Make a dispatch slot name arrive as data instead of being recovered from another name - #1253

Merged

Frotty merged 13 commits into

fix/dispatch-name-derivation

Aug 17, 2026

Commits on Aug 17, 2026

Pin what recovering a dispatch slot name from another name costs
Frotty
committed
7a23c8f
Merge remote-tracking branch 'origin/master' into fix/dispatch-name-derivation
Frotty
committed
92d1b87
Record the attempt which moved the pin, and why it still fails
Frotty
committed
375d185
Record the segment where it is assigned, not where it could be rebuilt
Frotty
committed
f44a32d
Say in the code why div and mod keep the left operand's type
Frotty
committed
9292350
Record a dispatch slot's segment instead of cutting it out of a name
Frotty
committed
7851155
Let a module's type parameter carry a type class bound
Frotty
committed
2d8a387
Record what the module bound change means for someone writing Wurst
Frotty
committed
4cf59b6
Thread the concrete type to the paths that need it on Lua
Frotty
committed
b5bcf81
Give both class shapes the slot when both are allocated
Frotty
committed
b78e302
Stop promising the Lua shape the arity fix only stopped rejecting
Frotty
committed
ad4509a
Specialise a generic class's own functions against its type variables
Frotty
committed
feb71be
Gate receiver-based specialisation, and stop copying a method to the erased class
Frotty
committed
34cf0ae