Re: gnatmake error I don't understand

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Simon Wright <simon@pushface.org> writes:

> 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???

Yes, you were right; I was wrong.  I wrote 10.2(7,29) for Ada 95,
and now that you've reminded me, I think I deliberately allowed
non-library-units (optionally supported).  That was a change from
Ada 83, as I recall.

So my "correction" of your "in GNAT" above to "In Ada" is not
a correct correction.  But it could be "in all known Ada compilers".

> (apart from the "library level" confusion, sorry).

Well, it doesn't make much sense for the 'main' to be non-library-level.

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

- Bob