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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8c424d8135e68278
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-12-19 00:34:33 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!fu-berlin.de!uni-berlin.de!tar-alcarin.cbb-automation.DE!not-for-mail
From: dmitry@elros.cbb-automation.de (Dmitry A. Kazakov)
Newsgroups: comp.lang.ada
Subject: Re: Ada2005
Date: Wed, 19 Dec 2001 08:34:31 GMT
Message-ID: <3c204d01.387078@News.CIS.DFN.DE>
References: <9v4jsj$bd1$1@infosun2.rus.uni-stuttgart.de>
 <9v7f26$qn2$1@infosun2.rus.uni-stuttgart.de>
 <3C1754BA.C4560423@informatik.uni-jena.de> <Q_MR7.13041$7y.146471@rwcrnsc54>
 <3c1868b2.1587625@News.CIS.DFN.DE> <uvgf5rb15.fsf@telus.net>
 <3c1f292d.11941015@News.CIS.DFN.DE> <uu1uoqpci.fsf@telus.net>
NNTP-Posting-Host: tar-alcarin.cbb-automation.de (212.79.194.111)
X-Trace: fu-berlin.de 1008750872 17660097 212.79.194.111 (16 [77047])
X-Newsreader: Forte Free Agent 1.21/32.243
Xref: archiver1.google.com comp.lang.ada:18082
Date: 2001-12-19T08:34:31+00:00
List-Id: <comp.lang.ada>

On 18 Dec 2001 11:51:09 -0800, Ray Blaak <blaak@telus.net> wrote:

>dmitry@elros.cbb-automation.de (Dmitry A. Kazakov) writes:
>> On 17 Dec 2001 09:50:30 -0800, Ray Blaak <blaak@telus.net> wrote:
>> Maybe. Though, then you should allow funny constructions like:
>> e."abs", when function "abs" (X: Ellipse) return ... is defined. Also
>> you should support fully qualified forms like:
>> 
>> e.Geometry.Flat.Figures.Conic.Float_Figures.Ellipse.Draw (p);
>
>Why? It is misleading, since object.something usually means something in the
>context of object.

Because, actually "context of object" is rather an imaginary thing.
Consider overriding. What if the parent's Draw should be called? Then
if sometimes MI will be supported, what about name clashes induced by
multiple inheritance?

>I would be perfectly willing to live with the restriction that one cannot do
>e.Draw unless the Draw method was directly visible.
>
>Alternatively, the compiler could be smarter, and look for the symbol "Draw"
>in the context where the type of e was defined.
>
>I also have no problem with e."abs", or e."+", given that one can already do
>the strange "+"(1, 2) directly anyway.

There still could be hidden pitfalls with an automatic inference of
postfix <-> functional forms. Let more knowledgeable people say.

Regards,
Dmitry Kazakov