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?

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
-----------------------------------------



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