Skip to content

fix: use the correct calling convention when over-applying a closure in lean_apply_m - #14969

Merged
Kha merged 3 commits into
masterfrom
runtime-apply-m-fix
Aug 31, 2026
Merged

fix: use the correct calling convention when over-applying a closure in lean_apply_m#14969
Kha merged 3 commits into
masterfrom
runtime-apply-m-fix

test: add a regression test for `lean_apply_m` over-application

7439c66
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar