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

这不是问题。 OCaml中的unit -> (dir -> 'b)和unit -> dir -> 'b类型相同！ （类型箭头是右关联的）

您能告诉我们实际的错误消息，以便我们知道问题所在吗？

附录：你真的试过这个吗？如果 没有其他问题，那么你会发现它只会起作用。