From: "Mark Lundquist" <no.spam@getalife.com>
Subject: Re: Who is wrong, me or GNAT? :-)
Date: Sat, 22 Dec 2001 21:14:02 GMT
Date: 2001-12-22T21:14:02+00:00 [thread overview]
Message-ID: <uI6V7.2603$8L1.30294@rwcrnsc52> (raw)
In-Reply-To: 3C24DF92.7040205@mediaone.net
"Ed Falis" <efalis@mediaone.net> wrote in message
news:3C24DF92.7040205@mediaone.net...
>
> RM 3.9.3 (4-6)
>
> Functions with a controlling result must be explicitly overridden when
> the parent type is derived (or the derived type has to be declared
> abstract), as they're considered abstract in the derived type.
>
oh yeah, I let the abstractness of the root type confuse me about something
I already understood :-)... these go abstract for tagged types, because
there's no downcast from a specific tagged type and hence no conversion for
the result returned by the inherited body. So I don't need any abstract
types to get this error :-)
thx
Mark
next prev parent reply other threads:[~2001-12-22 21:14 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-12-22 19:20 Who is wrong, me or GNAT? :-) Mark Lundquist
2001-12-22 19:28 ` Ed Falis
2001-12-22 21:14 ` Mark Lundquist [this message]
2001-12-27 15:39 ` 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