のOCaml - 間違った関数型

Question

は、私はクラスのメソッドを作っている、と私は、このタイプを持っているしたいと思います：

unit -> (dir -> 'b)

しかし、私の実際の方法：

method iter() = fun x -> match x with 
| Up -> if (Stack.is_empty pz) then raise Stack.Empty else if (Stack.length pz = 1) then failwith "Cannot go up" else (ignore (Stack.pop pz) ; {< a = (Stack.top pz) >}) 
| Down(v) -> match (Stack.top pz) with 
| Noeud(o, {contents = []}) -> raise Not_found 
| Noeud(o, {contents = l}) -> if mem_assoc v l then ((Stack.push (assoc v l) pz) ; {< a = (Stack.top pz) >}) else raise Not_found 

はタイプunit -> dir -> 'bを持っています

どのようにして最初のタイプにすることができますか？ここで

は、カスタムタイプです：

type 'a arbre = Noeud of 'a option ref * (char * 'a arbre) list ref 
    type dir = Up | Down of char 

編集：それは、特定のインターフェイスに準拠することができ、かつ型の不一致により、それがコンパイルされませんので、私はこれを必要とします。 ありがとう！

Answer 1

これは問題ではありません。 unit -> (dir -> 'b)とunit -> dir -> 'bはOCamlで同じタイプです！ （タイプアローは右結合です）

実際のエラーメッセージを表示して、問題がどこにあるか知ることができますか？

補足：実際に試してみましたか？ が以外の問題がなければ、うまくいくことがわかります。