2

終了を隠す条項付きの非終了に関する質問では、答えはに頼ることを示唆してい<-wellFoundedます。

<-wellFoundedbeforeの定義を見たところ、 --safeinがあることに気づきましたOPTIONS。このオプションなしで動作することを意図していますか? つまり、--safe何らかの最適化を使用していますか、それとも根本的な問題を回避していますか? この場合、終了の問題を「安全」とマークされた関数に委任するだけですか?

4

1 に答える 1