匹配非排他性IM ML樹形圖功能

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

for the NIL case，try ad | NIL => NIL;