ML：一致しない非点滅エラー

Question

こんにちは私はMLを使い始めていません。この問題を解決する方法はありません。

この

はコード

datatype ttree = Empty | Node of int * ttree * ttree * ttree; 

(* initialize the fist node *) 

fun Addthird(K:int, Empty) = Node(K, Empty, Empty, Empty); 

fun Addsecond(Y:int, K:int, Empty) = Node(Y, Empty, Addthird(K, Empty), Empty); 

fun AddNode(T:int, Y:int, K:int, Empty) = Node(T, Empty, Addsecond(Y, K, Empty), Empty); 

であり、これは、リコ

エラー

ERROR-ERROR

おかげで

Answer 1

ちょうどあなたが言う、呼び出された場合、何が起こるかを自問してみてください

Addthird(0, Node(1, Empty, Empty, Empty)) 

他の機能と同様です。パターンマッチはすべてのケースをカバーする必要があります。定義には最後の引数としてEmptyしか含まれていません。