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,262b74f44c7f873e
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!postnews.google.com!f14g2000cwb.googlegroups.com!not-for-mail
From: "Matthew Heaney" <mheaney@on2.com>
Newsgroups: comp.lang.ada
Subject: Re: prohibit certain generic instantiations in Ada 2005
Date: 9 Feb 2006 12:02:21 -0800
Organization: http://groups.google.com
Message-ID: <1139515341.782860.197930@f14g2000cwb.googlegroups.com>
References: <1139508110.410006.28260@g14g2000cwa.googlegroups.com>
NNTP-Posting-Host: 66.162.65.162
Mime-Version: 1.0
Content-Type: text/plain; charset="iso-8859-1"
X-Trace: posting.google.com 1139515347 8064 127.0.0.1 (9 Feb 2006 20:02:27
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 9 Feb 2006 20:02:27 +0000 (UTC)
In-Reply-To: <1139508110.410006.28260@g14g2000cwa.googlegroups.com>
User-Agent: G2/0.2
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET CLR 1.1.4322),gzip(gfe),gzip(gfe)
Complaints-To: groups-abuse@google.com
Injection-Info: f14g2000cwb.googlegroups.com; posting-host=66.162.65.162;
   posting-account=Zl1UPAwAAADEsUSm1PMMiDjihtBlZUi_
Xref: g2news1.google.com comp.lang.ada:2829
Date: 2006-02-09T12:02:21-08:00
List-Id: <comp.lang.ada>

The question is non-sensical.

If you create a hierarchy rooted a type A, then that's basically a
contract saying that all types in A'Class satisfy certain behavioral
invariants.

Viewed as an A, then all types in A'Class are the same.

If you need to create an equivalence class among the types in A'Class,
then you need to either perform another derivation (type B is new AA
with private), or use interfaces.