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 NAA06045; Tue, 6 Apr 2004 13:29:25 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA06148 for ; Tue, 6 Apr 2004 13:29:24 +0200 (MET DST) Received: from rwcrmhc12.comcast.net (rwcrmhc12.comcast.net [216.148.227.85]) by nez-perce.inria.fr (8.12.10/8.12.10) with ESMTP id i36BUEjq026362 for ; Tue, 6 Apr 2004 13:30:15 +0200 Received: from stratocaster.home (c-24-3-150-197.client.comcast.net[24.3.150.197]) by comcast.net (rwcrmhc12) with ESMTP id <2004040611292201400s7pk3e>; Tue, 6 Apr 2004 11:29:22 +0000 Received: from ecc by stratocaster.home with local (Exim 4.30) id 1BAold-0002x8-0W for caml-list@inria.fr; Tue, 06 Apr 2004 07:29:21 -0400 Date: Tue, 6 Apr 2004 07:29:21 -0400 To: "O'Caml Mailing List" Subject: Re: [Caml-list] failwith, raise and type inference Message-ID: <20040406112920.GA11332@localhost> Mail-Followup-To: O'Caml Mailing List References: <200404022028.WAA20083@pauillac.inria.fr> <20040405225238.33087.qmail@web40613.mail.yahoo.com> <20040406.031524.77866470.debian00@tiscali.be> <1081235143.19232.22.camel@pelican> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1081235143.19232.22.camel@pelican> User-Agent: Mutt/1.5.5.1+cvs20040105i From: "Eric C. Cooper" X-Miltered: at nez-perce 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 2004:99 ocaml:01 06,:02 parser:02 wrote:03 raise:05 cooper:06 cooper:06 notation:06 eric:06 eric:06 type:07 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk X-Status: X-Keywords: X-UID: 65 On Tue, Apr 06, 2004 at 05:05:44PM +1000, skaller wrote: > I'm not sure there *are* any 'usual' rules in maths. Yes, traditional math notation needs human disambiguation: consider sin^2 (x) versus sin^{-1} (x) I don't think we want to require AI in the ocaml parser ... -- Eric C. Cooper e c c @ c m u . e d u ------------------- 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