idris - Idris FFI 中的空指针

Question

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

Answer 1

事实证明，（在所有地方）有一个null常数Prelude.Strings。MaxOw 在Idris bug tracker上向我指出了这一点。