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: a07f3367d7,14aa27db81ce3b40
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!b1g2000vbc.googlegroups.com!not-for-mail
From: Martin <martin.dowie@btopenworld.com>
Newsgroups: comp.lang.ada
Subject: Re: How to exit an Ada program with (unix shell) error code?
Date: Thu, 14 May 2009 01:39:11 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: <3896e2a7-da0f-4a90-82cf-a776f654a880@b1g2000vbc.googlegroups.com>
References: 
 <49ba30c9-a1e6-4346-8618-d256f87ac301@s31g2000vbp.googlegroups.com>
	<d73c38a7-8d9b-447f-a462-2aac8630c45f@v23g2000pro.googlegroups.com>
	<PKLOl.226644$4m1.46779@bgtnsc05-news.ops.worldnet.att.net>
NNTP-Posting-Host: 20.133.0.8
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1242290351 21015 127.0.0.1 (14 May 2009 08:39:11
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Thu, 14 May 2009 08:39:11 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: b1g2000vbc.googlegroups.com; posting-host=20.133.0.8;
	posting-account=g4n69woAAACHKbpceNrvOhHWViIbdQ9G
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-GB;
 rv:1.9.0.10)
	Gecko/2009042316 Firefox/3.0.10,gzip(gfe),gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:5839
Date: 2009-05-14T01:39:11-07:00
List-Id: <comp.lang.ada>

On May 14, 3:55=A0am, a...@anon.org (anon) wrote:
[snip]
> Also for Martin.
>
> Can a user-created procedure (main subprogram) be concerned as a "public
> parameterless library procedures. =A0No! The reason is that the procedure
> is not public, it first must be bound by the binding process.
>
> 10.2 =A0(29) An implementation may restrict the kinds of subprograms it
> =A0 =A0 =A0 =A0 =A0 =A0supports as main subprograms. However, an implemen=
tation is
> =A0 =A0 =A0 =A0 =A0 =A0required to support all main subprograms that are =
public
> =A0 =A0 =A0 =A0 =A0 =A0parameterless library procedures.

Ohhh groan.....I think I see what you're trying to say but you've got
the wrong end of the stick.

It's saying that you can't have this as a main procedure:

package Application is
private
   procedure Main;   -- NB: in private part of package-decl
end Application;

   or

package Application is
   ...
end Application;

package body Application is
   ...
   procedure Main;    -- NB: Declaration in body not spec
   ...
   procedure Main is
   ...
   end Main;
   ...
end Application;

It's not taking about binding (as nothing in the RM talks about
binding).

Cheers
-- Martin