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 QAA13423; Mon, 17 Nov 2003 16:55:53 +0100 (MET)
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 QAA13259 for <caml-list@pauillac.inria.fr>; Mon, 17 Nov 2003 16:55:52 +0100 (MET)
Received: from mx5.informatik.uni-tuebingen.de (mx5.Informatik.Uni-Tuebingen.De [134.2.12.32])
	by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hAHFtp121471
	for <caml-list@inria.fr>; Mon, 17 Nov 2003 16:55:51 +0100 (MET)
Received: from localhost (loopback [127.0.0.1])
	by mx5.informatik.uni-tuebingen.de (Postfix) with ESMTP id 0DB1C102
	for <caml-list@inria.fr>; Mon, 17 Nov 2003 16:55:51 +0100 (NFT)
Received: from mx3.informatik.uni-tuebingen.de ([134.2.12.26])
 by localhost (mx5 [134.2.12.32]) (amavisd-new, port 10024) with ESMTP
 id 15708-04 for <caml-list@inria.fr>; Mon, 17 Nov 2003 16:55:49 +0100 (NFT)
Received: from juist (semeai [134.2.15.66])
	by mx3.informatik.uni-tuebingen.de (Postfix) with ESMTP id 4F61C134
	for <caml-list@inria.fr>; Mon, 17 Nov 2003 16:55:49 +0100 (NFT)
Received: from falk by juist with local (Exim 3.36 #1 (Debian))
	id 1ALljA-00026j-00
	for <caml-list@inria.fr>; Mon, 17 Nov 2003 16:55:48 +0100
X-Face: "iUeUu$b*W_"w?tV83Y3*r:`rh&dRv}$YnZ3,LVeCZSYVuf[Gpo*5%_=/\_!gc_,SS}[~xZ
 wY77I-M)xHIx:2f56g%/`SOw"Dx%4Xq0&f\Tj~>|QR|vGlU}TBYhiG(K:2<T^
To: caml-list@inria.fr
Subject: Re: [Caml-list] Limits on operator-style function names?
References: <20031117154221.GA24001@redhat.com>
From: Falk Hueffner <falk.hueffner@student.uni-tuebingen.de>
Date: 17 Nov 2003 16:55:47 +0100
In-Reply-To: <20031117154221.GA24001@redhat.com>
Message-ID: <87isljdm64.fsf@student.uni-tuebingen.de>
User-Agent: Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.5 (cabbage)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Virus-Scanned: by amavisd-new (McAfee AntiVirus) at informatik.uni-tuebingen.de
X-Loop: caml-list@inria.fr
X-Spam: no; 0.00; caml-list:01 falk:01 hueffner:01 falk:01 hueffner:01 val:01 char:01 writes:01 arity:03 functions:05 manual:07 i'm:07 function:09 conventions:09 determines:09 
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

Richard Jones <rich@annexia.org> writes:

> I'm trying to find out what the limits are on the names of operator
> functions (ie. val ( := ) : ...)
> 
> What are the rules for this?

see the manual, 6.1 Lexical conventions

infix-symbol  ::= (= | < | > | @ | ^ | | | & | + | - | * | / | $ | %) { operator-char }
prefix-symbol ::= (! | ? | ~) { operator-char }
operator-char ::= ! | $ | % | & | * | + | - | . | / | : | < | = | > | ? | @ | ^ | | | ~ 

i.e., the first char determines the arity, and then you can freely
append random letters.

-- 
	Falk

-------------------
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