tree - 匹配非详尽的 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 |NIL => NIL;