From: "Matthew Heaney" <mheaney@on2.com>
Subject: Re: prohibit certain generic instantiations in Ada 2005
Date: 9 Feb 2006 12:02:21 -0800
Date: 2006-02-09T12:02:21-08:00 [thread overview]
Message-ID: <1139515341.782860.197930@f14g2000cwb.googlegroups.com> (raw)
In-Reply-To: <1139508110.410006.28260@g14g2000cwa.googlegroups.com>
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.
next prev parent reply other threads:[~2006-02-09 20:02 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-02-09 18:01 prohibit certain generic instantiations in Ada 2005 matteo.bordin
2006-02-09 20:02 ` Matthew Heaney [this message]
2006-02-10 14:18 ` matteo.bordin
2006-02-10 18:25 ` Dmitry A. Kazakov
2006-02-10 19:03 ` Georg Bauhaus
2006-02-11 10:45 ` Dmitry A. Kazakov
2006-02-11 8:04 ` matteo.bordin
2006-02-11 9:54 ` Martin Krischik
2006-02-11 10:20 ` matteo.bordin
2006-02-11 12:46 ` Martin Krischik
2006-02-11 10:45 ` Dmitry A. Kazakov
2006-02-11 22:20 ` Jeffrey R. Carter
2006-02-11 15:36 ` Stephen Leake
2006-02-12 8:55 ` matteo.bordin
2006-02-12 9:49 ` Dmitry A. Kazakov
2006-02-12 12:41 ` matteo.bordin
2006-02-13 19:14 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox