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 DAA02435; Tue, 6 Apr 2004 03:15:26 +0200 (MET DST) 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 DAA02406 for ; Tue, 6 Apr 2004 03:15:25 +0200 (MET DST) Received: from oola.is.scarlet.be (oola.is.scarlet.be [193.74.71.23]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i361FOYM032625 for ; Tue, 6 Apr 2004 03:15:24 +0200 Received: from (u195-95-86-194.dialup.planetinternet.be [195.95.86.194]) by oola.is.scarlet.be with ESMTP id i361FNf08907; Tue, 6 Apr 2004 03:15:23 +0200 Received: from poincare ([127.0.0.1] helo=localhost ident=trch) by poincare with esmtp (Exim 3.36 #1 (Debian)) id 1BAfBW-00023r-00; Tue, 06 Apr 2004 03:15:26 +0200 Date: Tue, 06 Apr 2004 03:15:24 +0200 (CEST) Message-Id: <20040406.031524.77866470.debian00@tiscali.be> To: "O'Caml Mailing List" Subject: Re: [Caml-list] failwith, raise and type inference From: Christophe TROESTLER In-Reply-To: <20040405225238.33087.qmail@web40613.mail.yahoo.com> References: <200404022028.WAA20083@pauillac.inria.fr> <20040405225238.33087.qmail@web40613.mail.yahoo.com> Organization: None X-Spook: military cybercash Panama asset AGT. AMME subversive Albania cypherpunk Ron Brown monarchist X-Mailer-URL: http://www.mew.org/ X-Operating-System: GNU/Linux (http://www.linux.org/) X-Blessing: Om Ah Hum Vajra Guru Pema Siddhi Hum X-Mailer: Mew version 4.0.61 on Emacs 21.3.1 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at concorde by Joe's j-chkmail ("http://j-chkmail.ensmp.fr")! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 failwith:01 inference:01 troestler:01 tiscali:99 pierre:01 weis:01 pierre:01 weis:01 oddity:01 chris:01 christophe:01 caml:01 arithmetic:01 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 56 > --- Pierre Weis wrote: > > [...] > > Operator precedence in Caml has been carefully crafted, you should Well I have a little question on this. The guide says "Arithmetic operators: the same rules as in mathematics." but -. 3.**2. returns 9. while in math -x^2 means -(x^2) and not (-x)^2 ! I am curious why such an oddity. Cheers, ChriS ------------------- 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