How do I call a function with a NULL parameter of type FPtr with the Idris FFI? I've looked through the library, and it looks like there's neither a null pointer nor a way to cast integers to pointers.
Asked
Active
Viewed 169 times
1 Answers
1
It turns out that there is a constant null in Prelude.Strings (out of all places). This was indicated to me by MaxOw on the Idris bug tracker.
jch
- 5,382
- 22
- 41