Skip to content

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

Draft
Kha wants to merge 1 commit into
masterfrom
runtime-apply-m-fix
Draft

fix: use the correct calling convention when over-applying a closure in lean_apply_m#14969
Kha wants to merge 1 commit into
masterfrom
runtime-apply-m-fix

fix: use the correct calling convention when over-applying a closure …

df1b1f0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar