Hi, i have this code that is use to construct binary tree where f is function and the f(f) mean that the result of f apply it second time to f, but the compiler its said their is error in f (f) type 'a tree= |Leaf of 'a| Node of 'a tree * 'a tree let rec build n x f = match n with |0->Leaf f …

Binary tree error

vrotaru October 15, 2017, 11:38am 2

I can only agree with the compiler. Try replacing (f(f)) with

(fun x -> f (f x))

Topic		Replies	Views
Odd Error: This expression has type int tree/1919 Learning	4	1772	February 26, 2018
Function same_shape (t1 : 'a tree) (t2 : 'b tree) gets compiled to same_shape : 'a tree -> 'a tree -> bool Learning	8	1084	March 6, 2022
Getting a recursive function to typecheck Learning type-system	3	194	July 3, 2024
Composition of two arguments function returning options Learning result	9	370	August 29, 2025
Use fold to Convert a tree to a list Learning	6	6296	February 26, 2018