匹配非详尽的 im ML treemap 函数答案

【问题标题】：Match nonexhaustive im ML treemap function匹配非详尽的 im ML treemap 函数
【发布时间】：2017-10-05 17:40:49
【问题描述】：

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

【问题讨论】：

【解决方案1】：

对于 NIL 情况，试试 ad |零 => 零;

【讨论】：