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,104df2b9b7a2f689
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Date: Mon, 16 May 2005 18:13:02 +0200
From: Georg Bauhaus <bauhaus@futureapps.de>
Organization: elsewhere
User-Agent: Mozilla Thunderbird 1.0.2 (Macintosh/20050317)
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Interfaces
References: <8764xj9wzf.fsf@deneb.enyo.de>
In-Reply-To: <8764xj9wzf.fsf@deneb.enyo.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
NNTP-Posting-Host: 84.60.14.91
Message-ID: <4288c54b_2@news.arcor-ip.de>
X-Trace: 16 May 2005 18:07:39 +0200, 84.60.14.91
X-Complaints-To: abuse@arcor-ip.de
Path: 
 g2news1.google.com!news3.google.com!news2.google.com!proxad.net!newsfeed.stueberl.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor-ip.de!news.arcor-ip.de!84.60.14.91
Xref: g2news1.google.com comp.lang.ada:11041
Date: 2005-05-16T18:13:02+02:00
List-Id: <comp.lang.ada>

Florian Weimer wrote:

> As far as I understand the Ada 200x spec, this subprogram declaration
> overrides both versions of Foo, such that
> 
>   Foo ((J1 (T_Obj));
>   Foo ((J2 (T_Obj));
> 
> invoke the same subprogram.

IIUC, if J1 and J2 are interface types, then J1's Foo and J2's Foo
can only be abstract subprograms or null subprograms. If null
procedures, maybe they would be semantically the same anyway,
in a library.