Idris中的空指针FFI

Question

如何使用Idris FFI调用带FPtr类型的NULL参数的函数？我查看了库，看起来好像没有空指针，也没有将整数转换为指针的方法。

Answer 1

事实证明，在Prelude.Strings（所有地方）中都有一个不变的null。 MaxOw在the Idris bug tracker上向我表明了这一点。