Hi,

can you explain me why is this not allowed?
I can't see a problematic counterexample.

        Objective Caml version 2.04

# let id x = x;;
val id : 'a -> 'a = <fun>
# let rec id' x = id x;;
val id' : 'a -> 'a = <fun>
# let rec id'' = id;;
This kind of expression is not allowed as right-hand side of `let rec'

							T.I.A.
							C.S.C.

-- 
-----------------------------------------
Real Name: Claudio Sacerdoti Coen
Address: via del Colle n.6
	 S. Lazzaro di Savena (BO)
	 Italy
e-mail:  sacerdot@cs.unibo.it
-----------------------------------------