alexf91 / lean4-ctypes

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

Support variadic functions #1

Closed alexf91 closed 8 months ago

alexf91 commented 8 months ago

Variadic functions are supported by call interface, but according to the libffi documentation, they need a different kind of prototype which must be prepared with ffi_prep_cif_var(). This has to be handled when the Function object is created in C++.

alexf91 commented 8 months ago

Closed with new call interface