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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: gnatmake error I don't understand
Date: Fri, 04 Apr 2014 18:14:21 +0100
Organization: A noiseless patient Spider
Message-ID: <lylhvlggpe.fsf@pushface.org>
References: <g5vrj9h4gs93iuojnlqeshqp78urlullkg@4ax.com>
	<lyppkxh6tc.fsf@pushface.org> <wcclhvlmcu9.fsf@shell01.TheWorld.com>
Mime-Version: 1.0
Content-Type: text/plain
Injection-Info: mx05.eternal-september.org;
 posting-host="a0d4eb314a073b71869f2de305ad0700";
	logging-data="22332"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX18ijyxi344hj3jOfoMRcwJiMsO0y+1kX8M="
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin)
Cancel-Lock: sha1:l8dukFI4U5GkWo6wtXIh7OQlHz8=
	sha1:71jDs8y+eSMybYXkw9ie5PUYDeU=
Xref: news.eternal-september.org comp.lang.ada:19123
Date: 2014-04-04T18:14:21+01:00
List-Id: <comp.lang.ada>

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> Simon Wright <simon@pushface.org> writes:
>
>> (in GNAT)
>
> In Ada.
>
>>... a main program needs to be at library level; you can't declare
>> Habits inside package Texthabits and use it as a main.
>
> It must be a library unit.  ("Library level" means something else.)
> You can make it a child unit, though.

ARM 10.2(29)[1] says "An implementation may restrict the kinds of
subprograms it supports as main subprograms. However, an implementation
is required to support all main subprograms that are public
parameterless library procedures." so I think I was strictly right???
(apart from the "library level" confusion, sorry).

[1] http://www.adaic.org/resources/add_content/standards/12rm/html/RM-10-2.html#p29