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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,575dfcf6488662de
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!proxad.net!news.cs.univ-paris8.fr!informatik.uni-bremen.de!cs.tu-berlin.de!uni-duisburg.de!not-for-mail
From: Georg Bauhaus <sb463ba@l1-hrz.uni-duisburg.de>
Newsgroups: comp.lang.ada
Subject: Re: Libraries written in Ada
Date: Mon, 22 Nov 2004 20:45:16 +0000 (UTC)
Organization: GMUGHDU
Message-ID: <cntj4s$fo8$1@a1-hrz.uni-duisburg.de>
References: <pan.2004.11.22.11.32.38.595826@ID-174572.user.uni-berlin.de>
 <18687975.p80OmDsB1I@linux1.krischik.com>
 <pan.2004.11.22.16.28.48.665871@ID-174572.user.uni-berlin.de>
 <1464020.dFWPVBaaRG@linux1.krischik.com>
NNTP-Posting-Host: l1-hrz.uni-duisburg.de
X-Trace: a1-hrz.uni-duisburg.de 1101156316 16136 134.91.1.34 (22 Nov 2004
 20:45:16 GMT)
X-Complaints-To: usenet@news.uni-duisburg.de
NNTP-Posting-Date: Mon, 22 Nov 2004 20:45:16 +0000 (UTC)
User-Agent: tin/1.5.8-20010221 ("Blue Water") (UNIX) (HP-UX/B.11.00
 (9000/800))
Xref: g2news1.google.com comp.lang.ada:6338
Date: 2004-11-22T20:45:16+00:00
List-Id: <comp.lang.ada>

Martin Krischik <martin@krischik.com> wrote:
: Please Note: you are asking very low level questions. Normaly you don't need
: to worry about it. Ada as a package orientated language has it all build.
: 
: That's unlike C where library management is not part of the language and
: elaboration (that the Ada term for initialising the runtime environment)
: consists of main () only. 

Uhm, if inside a package

   pragma Pure;

applies and

   foo: constant Bar := <static expression>;

is elaborated, what has initialising the Ada runtime system got to do with
it? (Or do you mean something different by  "initialising the runtime
environment"?) Pragma Pure claims something about elaboration needs _at_
runtime by placing
    "sufficient restrictions on a unit to guarantee that no call
     to any subprogram in the unit can result in an elaboration
     problem"  (GNAT User's Guide)
The Ada runtime system may have to deal with elaboration at runtime.
So there has to be one, unless the (Subset-of-)Ada program has been
written such that no run time system is needed.

-- Georg