From: westonpa@aludra.usc.edu (westonpa)
Subject: Having a problem with private extension and discriminants...
Date: 1999/07/21
Date: 1999-07-21T00:00:00+00:00 [thread overview]
Message-ID: <7n662e$gu7$1@aludra.usc.edu> (raw)
Hi,
I am trying to indirectly derive from a tagged type that has known
discriminants, but GNAT gives the error
"full view must inherit discriminants of the parent type used in the
private extension". This looks like ARM 7.3(10). Does anyone have an idea
how I can achieve the following?
package P1 is
type A(Foo : Natural) is abstract tagged null record;
private
type B is abstract new A with
record
-- private fields here
end record;
end P1;
package P1.C1 is
type C is new A with private;
private
type C is new B with
record
-- more fields in addition to B's
end record;
end P1.C1;
package P1.C2 is
-- similar to what is in P1.C1
end P1.C2;
next reply other threads:[~1999-07-21 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-21 0:00 westonpa [this message]
1999-07-22 0:00 ` Having a problem with private extension and discriminants Florian Weimer
1999-07-22 0:00 ` Weston T. Pan
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox