Why is this not allowed?

From: Claudio Sacerdoti Coen (sacerdot@students.cs.unibo.it)
Date: Tue Nov 30 1999 - 17:07:52 MET

Date: Tue, 30 Nov 1999 17:07:52 +0100
From: Claudio Sacerdoti Coen <sacerdot@students.cs.unibo.it>
To: caml-list@inria.fr
Subject: Why is this not allowed?


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'


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

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:29 MET