From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id BAA18531; Wed, 21 Jan 2004 01:35:02 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 BAA18498 for ; Wed, 21 Jan 2004 01:35:01 +0100 (MET) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0L0YxP12508 for ; Wed, 21 Jan 2004 01:35:00 +0100 (MET) Received: from davidb by mail.davidb.org with local (Exim 3.36 #1 (Debian)) id 1Aj6Kd-0007Gl-00; Tue, 20 Jan 2004 16:34:55 -0800 Date: Tue, 20 Jan 2004 16:34:55 -0800 From: David Brown To: erayo@cs.bilkent.edu.tr Cc: Ocaml Mailing List Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch Message-ID: <20040121003455.GA27898@davidb.org> References: <200401210148.20003.exa@kablonet.com.tr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <200401210148.20003.exa@kablonet.com.tr> User-Agent: Mutt/1.5.4i X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 2004:99 eray:01 ozkural:01 compiler:01 semantics:01 caml:01 0200,:01 patch:02 syntax:02 dave:03 wrote:03 let:04 let:04 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Wed, Jan 21, 2004 at 01:48:19AM +0200, Eray Ozkural wrote: > Compiler knows which x to use, let and which differ only in syntax! Semantics > is the same. Does it? let f a = let a = a + 1 in a where a = a + 2 What does this function do? You could argue for any result a, (a+1), (a+2), or (a+3). The casual definition of the where clause doesn't specify precedence. Obviously, an implementation would have to chose one, but there is no clear reason one choice is better than the other. Dave ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners