Hi,

I'm trying to write a recursive function that would work like a for loop:

let rec forloop g v u =

  let x = ref v in let rec h = begin g !x; x := !x + 1; if !x <= u then h end

  in h;;

I know this is horribly far from the functional spirit, but anyway ocaml complains that "This kind of expression is not allowed as right-hand side of `let rec'". It seems to me that this function definition has a meaning, so why is it rejected? What should I do to get it accepted by ocaml?

Many thanks in advance,

Antoine