こんにちは、私は ML を初めて使用し、次のデータ型のツリーマップ関数を作成しています。
datatype tree = NIL | CONS of (tree * tree) | LEAF of int;
これは私のツリーマップ関数です:
fun treemap f = fn LEAF x => LEAF (f x)
| CONS(y,z) => CONS (treemap f y, treemap f z);
NIL ケースをチェックしていないため、網羅的でない警告が表示されることはわかっていますが、どうすればチェックできますか? 別のものを追加すると、EQUALOPエラーが発生します。どんな助けでも大歓迎です、ありがとう。