Dear all:

I have a deeply recursive ocaml program in the following way:

method A begin
calling B
end

method B begin 
calling A
end


in A and B, there are lots of local let bindings liek:

let c=... in
let d=f(c)

so by changing it to

let d= begin
 let c = ... in
 f(c)
end

can I reduce the memory usage?

Shen