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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,10444cff97404845 X-Google-Attributes: gid103376,public From: "Michael F. Yoder" Subject: Re: C like op= proposal Date: 1999/08/19 Message-ID: <37BC1367.3C977AE5@decada.zko.dec.com>#1/1 X-Deja-AN: 515565548 Content-Transfer-Encoding: 7bit References: <7pefco$v7o$1@nnrp1.deja.com> Organization: Compaq Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1999-08-19T00:00:00+00:00 List-Id: Keith Thompson wrote: > I'm well aware that there's little or no chance of this being added to > some future version of Ada (which makes this whole thread somewhat > off-topic, I suppose). I'm just saying that I like the idea, and I > wouldn't mind seeing it in some future language. Consider the case Highly_Overloaded_Function.all := F(@, G(@, @)); Is it your intent that overload resolution use the fact that @ denote the *same* meaning as the left side in each case? Can you adjust overload resolution in a reasonably simple way to accommodate this? -- Michael F. Yoder Unscientific man is beset by a deplorable desire to have been right. The scientist is distinguished by a desire to *be* right. -- W.V. Quine