HomeIsabelle/Phabricator

Change the buildClosure functions into buildCallback functions that take the ML…

Description

Change the buildClosure functions into buildCallback functions that take the ML function as a separate argument.
This reflects the underlying implementation and separates the expensive code that builds the conversion between ML
and C from the cheaper operation that captures the ML function itself.

Details

Provenance
dcjmAuthored on Oct 16 2020, 5:56 PM
Parents
rPOLYMLea1d81c08167: Merge branch 'master' into CompiledFFITesting
Branches
Unknown
Tags
Unknown