From: stt@houdini.camb.inmet.com (Tucker Taft)
Subject: Re: Generic children, instances and visibility...
Date: 1997/04/12
Date: 1997-04-12T00:00:00+00:00 [thread overview]
Message-ID: <E8IzEL.2L1.0.-s@inmet.camb.inmet.com> (raw)
In-Reply-To: JSA.97Apr9151107@alexandria
Jon S Anthony (jsa@alexandria) wrote:
: In article <334BA5F2.4111@gsfc.nasa.gov> Stephen Leake <Stephen.Leake@gsfc.nasa.gov> writes:
: > with Parent.Child;
: > with Inst_Types;
: > package Parent.PC_Inst is new Parent.Child (Inst_Types.It);
: >
: > gnat says neither case allows visibility:
: True. But that may or may not be accurate (though it probably is...)
Since GNAT does not complain when you compile the generic,
it should not complain when you compile the instantiation.
Any error during instantiation is suspicious, given the Ada 95
generic "contract" model. If there is an error, it must be something
that is due to a usage of the formal type in the spec of the generic,
not the body. Hence this looks like a compiler bug (albeit a subtle one).
: ...
: Tucker, Bob, Norman - any comments appreciated.
See above.
: /Jon
: --
: Jon Anthony
: Organon Motives, Inc.
: Belmont, MA 02178
: 617.484.3383
: jsa@organon.com
-Tucker Taft stt@inmet.com http://www.inmet.com/~stt/
Intermetrics, Inc. Burlington, MA USA
next prev parent reply other threads:[~1997-04-12 0:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-04-09 0:00 Generic children, instances and visibility Jon S Anthony
1997-04-09 0:00 ` Stephen Leake
1997-04-09 0:00 ` Jon S Anthony
1997-04-12 0:00 ` Tucker Taft [this message]
1997-04-13 0:00 ` Jon S Anthony
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox