comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: gnatmake error I don't understand
Date: Fri, 04 Apr 2014 18:14:21 +0100
Date: 2014-04-04T18:14:21+01:00	[thread overview]
Message-ID: <lylhvlggpe.fsf@pushface.org> (raw)
In-Reply-To: wcclhvlmcu9.fsf@shell01.TheWorld.com

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

  reply	other threads:[~2014-04-04 17:14 UTC|newest]

Thread overview: 21+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-04-04  0:35 gnatmake error I don't understand agent
2014-04-04  0:44 ` agent
2014-04-04  4:14 ` Per Sandberg
2014-04-04  7:37   ` Simon Wright
2014-04-04  7:50 ` Simon Wright
2014-04-04 13:35   ` Tero Koskinen
2014-04-04 13:41   ` Robert A Duff
2014-04-04 17:14     ` Simon Wright [this message]
2014-04-04 17:45       ` Adam Beneschan
2014-04-05  0:35       ` Robert A Duff
2014-04-05  0:52         ` Adam Beneschan
2014-04-04 21:27     ` Randy Brukardt
2014-04-04 18:48 ` Stephen Leake
2014-04-04 19:25   ` Simon Wright
2014-04-04 20:02     ` drrob106
2014-04-04 20:43       ` Shark8
2014-04-04 22:58         ` Jeffrey Carter
2014-04-04 20:48       ` Simon Wright
2014-04-05  0:33       ` Robert A Duff
2014-04-05  8:17       ` Georg Bauhaus
2014-04-05 13:28         ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox