Lambda support in VM: Wolfgang's PR plus some simplifications (removing mask, clarifying ops)#15387

Open

brmataptos wants to merge 9 commits intomainfrom 11-23-vm_changes_merged_in

+1,679-143

Commits on Dec 7, 2024

Verbatim cherry-pick of Wolfgang's draft PR 15171 = commit #d85b919

wrwg
authored and
brmataptos
committed
Rename and rephrase Wolfgang's closure operations to match ongoing parser work:
brmataptos
committed
rename EarlyBind and Invoke operations to EarlyBindFunction and InvokeFunction based on George's suggestion
brmataptos
committed
Address review comments: - use struct for SignatureToken::Function - simplify AcuiresVerifier::ld_function_acquire - comments cleanup, especially file_format semantics for new bytecodes
brmataptos
committed
add ENABLE_FUNCTION_VALUES feature flag and tests to show it is blocked by verifier. adding tests required serialization/desrialization of SignatureToken::Function.
brmataptos
committed
don't use named fields for enum SignatureVariant variant Function, since that yields Clippy warnings, apparently due to a hidden bug in one of the derived trait macros invoked here (dearbitrary)
brmataptos
committed
fix clippy warning in last commit
brmataptos
committed

Commits on Dec 9, 2024