From: "G.B." <bauhaus@futureapps.invalid>
Subject: Re: Generic private type declaration
Date: Fri, 25 Nov 2016 20:38:50 +0100
Date: 2016-11-25T20:38:50+01:00 [thread overview]
Message-ID: <o1a3u0$osc$1@dont-email.me> (raw)
In-Reply-To: <o19sod$ug2$1@dont-email.me>
On 25.11.16 18:36, Alejandro R. Mosteo wrote:
> b001_tagged.adb:15:04: instantiation error at line 7
> b001_tagged.adb:15:04: type derived from tagged type must have extension
> gnatmake: "b001_tagged.adb" compilation error
second opinion:
b001.ada: Error: line 15 col 38 LRM:3.4(5), A record_extension_part shall be provided if and only if the parent type is tagged; this applies in the visible part of a generic instantiation
(In instance of generic Untagged at b001.ada: line 7 col 12)
--
"HOTDOGS ARE NOT BOOKMARKS"
Springfield Elementary teaching staff
next prev parent reply other threads:[~2016-11-25 19:38 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-11-25 17:36 Generic private type declaration Alejandro R. Mosteo
2016-11-25 19:17 ` Dmitry A. Kazakov
2016-11-28 14:54 ` Alejandro R. Mosteo
2016-11-25 19:18 ` AdaMagica
2016-11-28 14:57 ` Alejandro R. Mosteo
2016-11-25 19:38 ` G.B. [this message]
2016-11-26 8:45 ` Jacob Sparre Andersen
2016-11-26 19:18 ` Tero Koskinen
2016-11-28 15:05 ` Alejandro R. Mosteo
2016-11-28 21:32 ` Randy Brukardt
2016-11-29 11:12 ` Alejandro R. Mosteo
2016-11-29 11:42 ` Dmitry A. Kazakov
2016-11-29 23:48 ` Randy Brukardt
2016-11-28 23:25 ` Robert Eachus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox