From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Andrej.Bauer@andrej.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled 
	version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 3388DBB84
	for <caml-list@yquem.inria.fr>; Wed, 13 Aug 2008 20:39:48 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AiADAJzHokhbucREiGdsb2JhbACRcwEBAQ8gpRiBVQ
X-IronPort-AV: E=Sophos;i="4.32,202,1217800800"; 
   d="scan'208";a="28201975"
Received: from post.literal.si ([91.185.196.68])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 13 Aug 2008 20:39:47 +0200
Received: from localhost (post.literal.si [91.185.196.68])
	by post.literal.si (Postfix) with ESMTP id 8C73510E47CE;
	Wed, 13 Aug 2008 20:39:46 +0200 (CEST)
X-Virus-Scanned: amavisd-new at literal.si
Received: from post.literal.si ([91.185.196.68])
	by localhost (post.literal.si [91.185.196.68]) (amavisd-new, port 10024)
	with ESMTP id vSj30gnrfDki; Wed, 13 Aug 2008 20:39:44 +0200 (CEST)
Received: from [192.168.1.100] (BSN-77-148-136.static.dsl.siol.net [193.77.148.136])
	by post.literal.si (Postfix) with ESMTP id EE15D10E47CA;
	Wed, 13 Aug 2008 20:39:43 +0200 (CEST)
Message-ID: <48A32A6F.4050505@andrej.com>
Date: Wed, 13 Aug 2008 20:39:43 +0200
From: Andrej Bauer <Andrej.Bauer@andrej.com>
Reply-To: Andrej.Bauer@andrej.com
User-Agent: Thunderbird 2.0.0.16 (X11/20080724)
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Cc: Jean Krivine <jean.krivine@gmail.com>
Subject: Re: [Caml-list] Difference between "let rec" and just "let"?
References: <d5f6b0140808130549m195f1247t7ecb00649d95d0bf@mail.gmail.com> <dc2907b70808130652u70a9b3e9r4784c506f360b5f8@mail.gmail.com>
In-Reply-To: <dc2907b70808130652u70a9b3e9r4784c506f360b5f8@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; andrej:01 andrej:01 krivine:01 wrote:01 rec:01 rec:01 compile:01 caml-list:01 let:03 let:03 quite:08 bauer:09 bauer:09 equivalent:09 example:10 

Jean Krivine wrote:
> Each time you use let, you can also use let rec,

Not quite. For example:

let x = 5 in
let x = x + 10 in
  x

is not equivalent to

let rec x = 5 in
let rec x = x + 10 in
  x

(In fact the second one doesn't compile.)

Andrej