From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,28b389d4503cb555
X-Google-Attributes: gid103376,public
From: "Matthew Heaney" <matthew_heaney@acm.org>
Subject: Re: generic package dilemma
Date: 1999/11/18
Message-ID: <38344475_4@news1.prserv.net>#1/1
X-Deja-AN: 550209651
Content-transfer-encoding: 7bit
References: <80u48b$ghr$1@bunyip.cc.uq.edu.au> <3832e27f_1@news1.prserv.net>
 <3832E75D.5B1BA719@mail.com> <383319e8_4@news1.prserv.net>
 <wcc1z9nzzsz.fsf@world.std.com>
Content-Type: text/plain; charset="US-ASCII"
X-Complaints-To: abuse@prserv.net
X-Trace: 18 Nov 1999 18:24:53 GMT, 32.101.8.170
Organization: Global Network Services - Remote Access Mail & News Services
Mime-version: 1.0
Newsgroups: comp.lang.ada
Date: 1999-11-18T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <wcc1z9nzzsz.fsf@world.std.com> , Robert A Duff 
<bobduff@world.std.com>  wrote:

> But elaboration of the *instance* can call something that might cause
> trouble.

But isn't the generic unit responsible for using the proper pragmas, if
it does something in the begin part of its body? (And even if it doesn't
have a begin part, it still needs to pragma Elaborate the with'd unit,
right?)

with GP;
pragma Elaborate;

package body GQ is
  package P is new GP;
begin
  P.Do_Something;
end GQ;

Are you saying that Elaborate is not sufficient here?  (That we need an
Elaborate_All?)

Is the statement in Norm's book correct, or incorrect?


> And, as somebody else pointed out, you can have nested
> instantiations.

But isn't the generic supposed to pragma elaborate the nested generic?



--
Creationists attempt to draw a line between evolutionary biology and the
rest of science by remarking that large-scale evolution cannot be
observed.  This tactic fails.  Large-scale evolution is no more
inaccessible to observation than nuclear reactions or the molecular
composition of water.

Abusing Science: The Case Against Creationism
Philip Kitcher