From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <damien.doligez@inria.fr>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.1 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id 35ED5BBCA
	for <caml-list@yquem.inria.fr>; Tue, 26 Feb 2008 15:18:24 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgAAAKOuw0fAXQInh2dsb2JhbACQYwEBAQgKKZwP
X-IronPort-AV: E=Sophos;i="4.25,407,1199660400"; 
   d="scan'208";a="8607043"
Received: from concorde.inria.fr ([192.93.2.39])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Feb 2008 15:18:20 +0100
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m1QEIJa4030573
	(version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK)
	for <caml-list@inria.fr>; Tue, 26 Feb 2008 15:18:20 +0100
X-IronPort-AV: E=Sophos;i="4.25,407,1199660400"; 
   d="scan'208";a="7722314"
Received: from 250-112.msr-inria.inria.fr ([193.55.250.112])
  by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 26 Feb 2008 15:18:19 +0100
Message-Id: <958FA43C-037A-47D3-9352-682443875A69@inria.fr>
From: Damien Doligez <damien.doligez@inria.fr>
To: Caml List <caml-list@inria.fr>
In-Reply-To: <6f9f8f4a0802260424o5bce2fd9i89fbfa38bb239a6a@mail.gmail.com>
Content-Type: text/plain; charset=US-ASCII; format=flowed
Content-Transfer-Encoding: 7bit
Mime-Version: 1.0 (Apple Message framework v919.2)
Subject: Re: [Caml-list] Unexpected restriction in "let rec" expressions
Date: Tue, 26 Feb 2008 15:18:19 +0100
References: <6f9f8f4a0802260424o5bce2fd9i89fbfa38bb239a6a@mail.gmail.com>
X-Mailer: Apple Mail (2.919.2)
X-Miltered: at concorde with ID 47C41FAC.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; damien:01 damien:01 rec':01 recursive:01 26,:98 doligez:01 doligez:01 wrote:01 rec:01 caml-list:01 right-hand:01 expression:02 unexpected:03 let:03 let:03 


On 2008-02-26, at 13:24, Loup Vaillant wrote:

> This kind of expression is not allowed as right-hand side of `let rec'
>
> Any ideas about what is this restriction, an what is it for?


The restriction is documented in section 7.3 of the reference manual,
and it's here to make recursive definitions work correctly under
eager evaluation.

-- Damien