From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,81bb2ce65a3240c3
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.228.227 with SMTP id sl3mr6031691pbc.5.1341079766162;
        Sat, 30 Jun 2012 11:09:26 -0700 (PDT)
Path: 
 l9ni3109pbj.0!nntp.google.com!news1.google.com!newsfeed2.dallas1.level3.net!news.level3.com!bloom-beacon.mit.edu!newsswitch.lcs.mit.edu!nntp.TheWorld.com!.POSTED!not-for-mail
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Newsgroups: comp.lang.ada
Subject: Re: What would you like in Ada202X?
Date: Sat, 30 Jun 2012 14:09:25 -0400
Organization: The World Public Access UNIX, Brookline, MA
Message-ID: <wcck3yovfhm.fsf@shell01.TheWorld.com>
References: <3637793.35.1335340026327.JavaMail.geo-discussion-forums@ynfi5>
 <jsmpod$sk2$1@dont-email.me> <wccobo0vluw.fsf@shell01.TheWorld.com>
 <jsndgb$qq6$2@dont-email.me>
NNTP-Posting-Host: shell01.theworld.com
Mime-Version: 1.0
X-Trace: pcls6.std.com 1341079765 18831 192.74.137.71 (30 Jun 2012 18:09:25
 GMT)
X-Complaints-To: abuse@TheWorld.com
NNTP-Posting-Date: Sat, 30 Jun 2012 18:09:25 +0000 (UTC)
User-Agent: Gnus/5.1008 (Gnus v5.10.8) Emacs/21.3 (irix)
Cancel-Lock: sha1:WX2Mu67f1kuFEWCc+NwGVSFQ5gc=
Content-Type: text/plain; charset=us-ascii
Date: 2012-06-30T14:09:25-04:00
List-Id: <comp.lang.ada>

Brian Drummond <brian@shapes.demon.co.uk> writes:

> Conflicting precedences are a problem I hadn't considered. There seems to 
> be some parallel with the diamond problem in multiple inheritance. 
> If P1."//" and P2."//" apply to different types, does it really matter 
> that they have different precedences, unless the base type is the same?
> Possibly yes, from the perspective that the expression parser now has to 
> take the operand types as well as the operator symbol into consideration. 

I think entangling syntax and semantics in that way would not be
a good idea, both for the programmer, and the compiler writer.

- Bob