匹配不详尽的 im ML treemap 函数

Question

您好，我是 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 错误时。感谢任何帮助，谢谢。

Answer 1

对于 NIL 的情况，尝试 ad |无 => 无;

Match nonexhaustive im ML treemap function