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 QAA02926; Fri, 23 Jul 2004 16:28:23 +0200 (MET DST) 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 QAA02150 for ; Fri, 23 Jul 2004 16:28:22 +0200 (MET DST) Received: from mailserver.di.unipi.it (apis.di.unipi.it [131.114.3.6]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i6NESLSH006598 for ; Fri, 23 Jul 2004 16:28:21 +0200 Organization: Dipartimento di Informatica Received: from strudel.di.unipi.it (strudel [131.114.3.156]) by mailserver.di.unipi.it (8.11.6/8.11.6) with ESMTP id i6NER9T21853 (using TLSv1/SSLv3 with cipher EDH-RSA-DES-CBC3-SHA (168 bits) verified NO) for ; Fri, 23 Jul 2004 16:27:09 +0200 Received: from strudel.di.unipi.it (localhost.localdomain [127.0.0.1]) by strudel.di.unipi.it (8.12.8/8.12.8) with ESMTP id i6NER6vm012350 for ; Fri, 23 Jul 2004 16:27:06 +0200 Received: from localhost (trento@localhost) by strudel.di.unipi.it (8.12.8/8.12.8/Submit) with ESMTP id i6NER6rG012346 for ; Fri, 23 Jul 2004 16:27:06 +0200 X-Authentication-Warning: strudel.di.unipi.it: trento owned process doing -bs Date: Fri, 23 Jul 2004 16:27:06 +0200 (CEST) From: Claudio Trento To: caml-list@inria.fr Subject: [Caml-list] Associativity precedence for the user-defined operator. Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-MailScanner-Information: Please contact the ISP for more information X-MailScanner: Found to be clean X-MailScanner-SpamCheck: non spam, SpamAssassin (punteggio=-4.9, necessario 5, AWL 0.00, BAYES_00 -4.90) X-Miltered: at concorde with ID 41012085.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; trento:99 trento:99 sometype:01 user-defined:02 let:04 cheers:06 defined:07 claudio:07 claudio:07 unipi:08 function:09 i've:09 happens:10 operator:12 operator:12 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi, I've defined a set of new operetors, for instance: let ( /+/ ) = add_num (where add_num is a function that added two sometype elements.) but I don't know if I can set associativity precedence for this operator, writing: el1 ( /+/ ) el2 ( /+/ ) el3 without parenthesis, what happens? Cheers, Claudio ------------------- 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