HomeIsabelle/Phabricator

Define a small subset of the Foreign structure during bootstrapping so that the…

Description

Define a small subset of the Foreign structure during bootstrapping so that the interpreter can use Foreign.Memory.memoise.

Details

Provenance
dcjmAuthored on Nov 4 2020, 5:12 PM
Parents
rPOLYML890b558608f0: Handle exception if foreign call is used in interpreter but libffi is not…
Branches
Unknown
Tags
Unknown