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 JAA17512; Fri, 9 Apr 2004 09:18:14 +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 JAA17284 for ; Fri, 9 Apr 2004 09:18:13 +0200 (MET DST) Received: from rwcrmhc12.comcast.net (rwcrmhc12.comcast.net [216.148.227.85]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i397IBYM022654 for ; Fri, 9 Apr 2004 09:18:12 +0200 Received: from poincare (pcp01875053pcs.pimaco01.az.comcast.net[68.63.207.196]) by comcast.net (rwcrmhc12) with ESMTP id <20040409071810014009dcbee>; Fri, 9 Apr 2004 07:18:10 +0000 Received: from poincare ([127.0.0.1] helo=localhost ident=trch) by poincare with esmtp (Exim 3.36 #1 (Debian)) id 1BBqHD-0000dO-00; Fri, 09 Apr 2004 09:18:11 +0200 Date: Fri, 09 Apr 2004 09:18:10 +0200 (CEST) Message-Id: <20040409.091810.84299384.debian00@tiscali.be> To: skaller@users.sourceforge.net Cc: caml-list@inria.fr Subject: Re: [Caml-list] failwith, raise and type inference From: Christophe TROESTLER In-Reply-To: <1081235143.19232.22.camel@pelican> References: <20040405225238.33087.qmail@web40613.mail.yahoo.com> <20040406.031524.77866470.debian00@tiscali.be> <1081235143.19232.22.camel@pelican> Organization: None X-Spook: FSF red noise EuroFed infowar ANDVT ASIO subversive Roswell sweep ANZUS 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 sourceforge:01 2004:99 troestler:01 developpers:01 oddity:01 chris:01 christophe:01 christophe:01 ocaml:01 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 200 On 06 Apr 2004, skaller wrote: > > On Tue, 2004-04-06 at 11:15, Christophe TROESTLER wrote: > > > -. 3.**2. > > > > returns 9. while in math -x^2 means -(x^2) and not (-x)^2 ! > > I'm not sure there *are* any 'usual' rules in maths. Well -x^2 as meaning -(x^2) *is* a usual rule -- no mathematician will ever understand it as (-x)^2. Still my question remains as whether the above is intended by the OCaml developpers or is just a case that "slipped through" (and an oddity that has bitten me once). 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