From: dennison@telepath.com
Subject: Re: Safety of subprogram'unchecked_access
Date: 1998/08/27
Date: 1998-08-27T00:00:00+00:00 [thread overview]
Message-ID: <6s46kp$qse$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 6s42l4$ll5$1@nnrp1.dejanews.com
In article <6s42l4$ll5$1@nnrp1.dejanews.com>,
dennison@telepath.com wrote:
> I have the following situation: a generic package's body instantiates another
> generic package. The other generic package has a routine that takes an
> "access function" parameter. The "outer" generic's body passes into that
> routine the 'access of a function declared in its body. When I try to compile
> the "outer" generic's body, I get an error on that call stating
> "LRM:3.10.2(32), If the subprogram denoted by the prefix is declared within a
> generic unit, the expected type must be declared within that same generic
> unit, Continuing"
Oddly enough, moving the instantiation of the "inner" generic from the spec to
the body of the other generic fixed the problem. Is this the expected behavior
for Ada compilers? On the surface, you wouldn't think there'd be a difference.
--
T.E.D.
-----== Posted via Deja News, The Leader in Internet Discussion ==-----
http://www.dejanews.com/rg_mkgrp.xp Create Your Own Free Member Forum
next prev parent reply other threads:[~1998-08-27 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-08-27 0:00 Safety of subprogram'unchecked_access dennison
1998-08-27 0:00 ` dennison [this message]
1998-08-27 0:00 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox