From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id IAA09679 for caml-redistribution; Thu, 2 Dec 1999 08:56:47 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA17874 for ; Tue, 30 Nov 1999 17:08:02 +0100 (MET) Received: from cantina.students.cs.unibo.it (cantina.students.cs.unibo.it [130.136.3.110]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id RAA21859 for ; Tue, 30 Nov 1999 17:07:58 +0100 (MET) Received: from albana.students.cs.unibo.it (root@albana.students.cs.unibo.it [130.136.3.202]) by cantina.students.cs.unibo.it (8.9.3/8.9.3/Debian/GNU) with ESMTP id RAA24622 for ; Tue, 30 Nov 1999 17:07:54 +0100 Received: (from sacerdot@localhost) by albana.students.cs.unibo.it (8.9.3/8.9.3/Debian/GNU) id RAA04270 for caml-list@inria.fr; Tue, 30 Nov 1999 17:07:52 +0100 Date: Tue, 30 Nov 1999 17:07:52 +0100 From: Claudio Sacerdoti Coen To: caml-list@inria.fr Subject: Why is this not allowed? Message-ID: <19991130170752.A4253@students.cs.unibo.it> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.95.3i Sender: weis 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 = # let rec id' x = id x;; val id' : 'a -> 'a = # 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 -----------------------------------------