Add extern "abi" fn
type to represent C pointers
#3321
Labels
A-type-system
Area: Type system
C-enhancement
Category: An issue proposing an enhancement or a PR with one.
Per the recent weekly meeting, we should add a type to represent C style function pointers. This type should carry an ABI. This will be the type of extern functions from C code and we will no longer generate wrappers. We will allow this type to be coerced into a Rust closure, generating the stack-switching code. Finally, top-level Rust fn items will be usable as this type, in which case we will generate the thunk to do the stack-switch in the reverse direction.
The text was updated successfully, but these errors were encountered: