From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 159E7BB81 for ; Mon, 26 Sep 2005 22:59:55 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j8QKxsFo031087 for ; Mon, 26 Sep 2005 22:59:54 +0200 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id WAA15207 for ; Mon, 26 Sep 2005 22:59:53 +0200 (MET DST) Received: from web26801.mail.ukl.yahoo.com (web26801.mail.ukl.yahoo.com [217.146.176.77]) by concorde.inria.fr (8.13.0/8.13.0) with SMTP id j8QKxr5V011176 for ; Mon, 26 Sep 2005 22:59:53 +0200 Received: (qmail 76678 invoked by uid 60001); 26 Sep 2005 20:59:53 -0000 DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.de; h=Message-ID:Received:Date:From:Subject:To:Cc:In-Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=4fWMGqppzeKdKOXRSNbU2jXQxi0SQprY3FIjS0OjnYvD8StH0JTZCQEMZVlQBOmotl4lHaeIjf2CObeGFJFWY1d/3Ks+72VQQPr8U6pgpdYd/D5ItKq6thU4ZKFu/aC2s9hO5Dr9wpFENKc0GoZap97R4KEuJDzKC6Td3/UWrQs= ; Message-ID: <20050926205953.76676.qmail@web26801.mail.ukl.yahoo.com> Received: from [213.103.152.126] by web26801.mail.ukl.yahoo.com via HTTP; Mon, 26 Sep 2005 22:59:53 CEST Date: Mon, 26 Sep 2005 22:59:53 +0200 (CEST) From: Martin Chabr Subject: Ant: Re: Ant: [Caml-list] Efficiency of let/and To: William Lovas Cc: caml-list@inria.fr In-Reply-To: <20050926055627.GA7592@coruscant.stwing.upenn.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit X-Miltered: at nez-perce with ID 4338614A.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 43386149.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 lovas:01 wlovas:01 stwing:01 upenn:01 bindings:01 caml-list:01 beginner's:01 ocaml:01 beginners:01 bug:01 virgin:98 26,:98 gesendet:98 jetzt:98 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 Yes, you are right. Shame on me. I must have had a bounding for y from an earlier experiment. When I restart the interpreter, so that it is in a virgin state, I get the same error message about unbound y as you. Martin --- William Lovas schrieb: > On Mon, Sep 26, 2005 at 06:32:40AM +0200, Martin > Chabr wrote: > > As it appears to me, there is no semantic > difference > > between both alternatives. It can be shown with > two > > dependent expressions y = 1 and z = y + 2: > > This is not universally true: > > > # let y = 1 > > and z = y + 2 in > > z;; > > - : int = 3 > > Objective Caml version 3.08.1 > > # let y = 1 > and z = y + 2 in > z;; > Unbound value y > > So either you are using a version older than 3.08.1 > or this is a fairly > recent change. In the latter case, people who wish > to remain backward- > compatible might eschew this style for sequential > bindings, regardless > of any potential performance problems. > > William > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: > http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > Martin Chabr Hochstrasse 28 8044 Zürich Schweiz / Switzerland Tel.P.: 01-261 17 24 ___________________________________________________________ Gesendet von Yahoo! Mail - Jetzt mit 1GB Speicher kostenlos - Hier anmelden: http://mail.yahoo.de