alexf91 / lean4-ctypes

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

Unify `Symbol` and `Pointer` #4

Closed alexf91 closed 11 months ago

alexf91 commented 11 months ago

Symbols are currently "rich" pointers to addresses extracted from loaded libraries. They also keep track of the library they belong to to ensure it is not garbage collected. This could be just as easily implemented with the pointer type of the call interface and add compatibility between the two interfaces.