HomeIsabelle/Phabricator

Add FFI conversions for C types

Description

Add FFI conversions for C types

Conversions are added to the structure Foreign for C types as follows:

(signed) long long      cLonglong, cLonglongLarge
unsigned long long      cUlonglong, cUlonglongLarge
ptrdiff_t               cPtrdiff, cPtrdiffLarge
intptr_t                cIntptr, cIntptrLarge
uintptr_t               cUintptr, cUintptrLarge

Details

Event Timeline

Phil Clayton <phil.clayton@veonix.com> committed rPOLYML4db3797ffd96: Add FFI conversions for C types (authored by Phil Clayton <phil.clayton@veonix.com>).Oct 19 2021, 6:28 PM