Idris中的空指針FFI

Question

如何使用Idris FFI調用帶FPtr類型的NULL參數的函數？我查看了庫，看起來好像沒有空指針，也沒有將整數轉換爲指針的方法。

Answer 1

事實證明，在Prelude.Strings（所有地方）中都有一個不變的null。 MaxOw在the Idris bug tracker上向我表明了這一點。