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 

Edit: мне это нужно, чтобы он мог выполнить к определенному интерфейсу, и из-за несоответствия типа, он не будет компилироваться. Спасибо!

Answer 1

Это не проблема. unit -> (dir -> 'b) и unit -> dir -> 'b - это тот же самый тип в OCaml! (стрелка типа является право-ассоциативной)

Не могли бы вы показать нам фактическое сообщение об ошибке, чтобы мы могли знать, где проблема?

Приложение: Вы действительно пробовали это? Если там is нет другой проблемы, вы обнаружите, что она просто сработает.