Idris FFI中的空指针

Question

如何使用Idris FFI调用具有FPtr类型NULL参数的函数？我浏览了这个库，看起来既没有空指针，也没有将整数强制转换为指针的方法。

Answer 1

原来在Prelude.Strings（所有位置中）中有一个常数null。这是MaxOw在Idris bug追踪器上向我指出的。