alexf91 / lean4-ctypes

FFI for Lean 4
Apache License 2.0
3 stars 0 forks source link

Calling convention of variadic functions #10

Open alexf91 opened 10 months ago

alexf91 commented 10 months ago

ffi_prep_cif_var() is currently used if the vargs array is not empty. However, a function can be variadic without any variadic arguments, which would change the calling convention on some platforms. We can currently not detect this.

Maybe use Option (Array CValue) instead of just the array.