匹配不详尽的 im ML treemap 函数
Match nonexhaustive im ML treemap function
您好,我是 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
错误时。感谢任何帮助,谢谢。
对于 NIL 的情况,尝试 ad
|无 => 无;
您好,我是 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
错误时。感谢任何帮助,谢谢。
对于 NIL 的情况,尝试 ad |无 => 无;