HomeIsabelle/Phabricator

Return a SysWord.word value when trying to create a CIF if libffi is not…

Description

Return a SysWord.word value when trying to create a CIF if libffi is not installed in the interpreted version. This ensures that
FFI calls raise an exception rather than crashing.

Details

Provenance
dcjmAuthored on Feb 8 2021, 7:23 PM
Parents
rPOLYMLb03b08e32ebf: Implement test of tag bit. Fix bug in closure construction. Work around…
Branches
Unknown
Tags
Unknown