idris - Idris FFI のヌル ポインター

Question

Idris FFI で FPtr 型の NULL パラメーターを持つ関数を呼び出すにはどうすればよいですか? ライブラリを調べたところ、null ポインターも、整数をポインターにキャストする方法もないようです。

Answer 1

(すべての場所のうち) に定数があることがわかりnullます。これは、Idris バグ トラッカーのPrelude.StringsMaxOw によって指摘されました。