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 KAA08155; Wed, 21 Jan 2004 10:43:52 +0100 (MET) 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 KAA08483 for ; Wed, 21 Jan 2004 10:43:51 +0100 (MET) Received: from indyio.rz.uni-saarland.de (indyio.rz.uni-saarland.de [134.96.7.3]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0L9hoP20682 for ; Wed, 21 Jan 2004 10:43:50 +0100 (MET) Received: from uni-sb.de (uni-sb.de [134.96.7.230]) by indyio.rz.uni-saarland.de (8.12.10/8.12.9) with ESMTP id i0L9hnId81668282 for ; Wed, 21 Jan 2004 10:43:50 +0100 (CET) Received: from cs.uni-sb.de (cs.uni-sb.de [134.96.252.31]) by uni-sb.de (8.12.10/2003073000) with ESMTP id i0L9hmDU015982 for ; Wed, 21 Jan 2004 10:43:49 +0100 (CET) Received: from mail.cs.uni-sb.de (mail.cs.uni-sb.de [134.96.254.200]) by cs.uni-sb.de (8.12.11/2003091100) with ESMTP id i0L9hmAJ011103 for ; Wed, 21 Jan 2004 10:43:48 +0100 (CET) Received: from ps.uni-sb.de (grizzly.ps.uni-sb.de [134.96.186.68]) by mail.cs.uni-sb.de (8.12.11/2003073000) with ESMTP id i0L9hlxv015550 for ; Wed, 21 Jan 2004 10:43:47 +0100 (CET) X-Authentication-Warning: email: Host grizzly.ps.uni-sb.de [134.96.186.68] claimed to be ps.uni-sb.de Received: from ps.uni-sb.de (groove.ps.uni-sb.de [134.96.186.172]) by ps.uni-sb.de (8.12.10/8.12.10) with ESMTP id i0L9hk5c002246; Wed, 21 Jan 2004 10:43:46 +0100 Message-ID: <400E49D2.30502@ps.uni-sb.de> Date: Wed, 21 Jan 2004 10:43:46 +0100 From: Andreas Rossberg User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.4.1) Gecko/20031030 X-Accept-Language: de, en MIME-Version: 1.0 To: Ocaml Mailing List Subject: Re: [Caml-list] ANNOUNCE: mod_caml 1.0.6 - includes security patch References: <200401210148.20003.exa@kablonet.com.tr> <20040121003455.GA27898@davidb.org> In-Reply-To: <20040121003455.GA27898@davidb.org> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; rossberg:01 rossberg:01 uni-sb:01 caml-list:01 disallow:01 parentheses:01 uni-sb:01 darkened:01 munching:01 repetitive:01 kristian:01 caml:01 listening:02 patch:02 affected:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk David Brown wrote: > > 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. It is not obvious, since there is a another, strictly better choice: the grammer could simply give let and where same precedence and disallow mixing them without parentheses. - Andreas -- Andreas Rossberg, rossberg@ps.uni-sb.de "Computer games don't affect kids; I mean if Pac Man affected us as kids, we would all be running around in darkened rooms, munching magic pills, and listening to repetitive electronic music." - Kristian Wilson, Nintendo Inc. ------------------- 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