HomeIsabelle/Phabricator

Fix argument area address in X64/Unix closures.

Description

Fix argument area address in X64/Unix closures.

Details

Provenance
dcjmAuthored on May 17 2019, 9:54 AM
Parents
rPOLYMLaffea672b056: Added support for C closures (callbacks) in Unix 64-bit.
Branches
Unknown
Tags
Unknown