Подберите неисчерпывающую функцию im tree tree

Question

Здравствуйте, я новичок в ML и пишу функцию treemap для следующего типа данных:

     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;