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,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,a00006d3c4735d70
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2004-01-10 18:29:10 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!logbridge.uoregon.edu!arclight.uoregon.edu!wn11feed!worldnet.att.net!199.45.49.37!cyclone1.gnilink.net!spamkiller2.gnilink.net!nwrdny01.gnilink.net.POSTED!0e8a908a!not-for-mail
From: Hyman Rosen <hyrosen@mail.com>
User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US;
 rv:1.6b) Gecko/20031205 Thunderbird/0.4
X-Accept-Language: en-us, en
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Certified C compilers for safety-critical embedded systems
References: <1731094.1f7Irsyk1h@linux1.krischik.com>
 <3ff1b8ef.614528516@News.CIS.DFN.DE> <3FF1E06D.A351CCB4@yahoo.com>
 <3ff20cc8.635997032@News.CIS.DFN.DE> <bsumbs$k9e$2@a1-hrz.uni-duisburg.de>
 <3ff9df16.30249104@News.CIS.DFN.DE> <1665674.ZrTUW4qaQq@linux1.krischik.com>
 <1073409810.463948@master.nyc.kbcfp.com>
 <NbDKb.505$9b5.388@newssvr29.news.prodigy.com>
 <1073421950.964139@master.nyc.kbcfp.com> <E7aLb.776788$Tr4.2231457@attbi_s03>
 <3ffd9d14.1526346@News.CIS.DFN.DE>
 <btlmj0$8o9lq$1@ID-175126.news.uni-berlin.de>
 <1073659951.261166@master.nyc.kbcfp.com>
 <btoqj7$9qtre$1@ID-77047.news.uni-berlin.de>
In-Reply-To: <btoqj7$9qtre$1@ID-77047.news.uni-berlin.de>
Content-Type: text/plain; charset=us-ascii; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <Ux2Mb.2349$Qq.709@nwrdny01.gnilink.net>
Date: Sun, 11 Jan 2004 02:29:08 GMT
NNTP-Posting-Host: 162.84.196.162
X-Complaints-To: abuse@verizon.net
X-Trace: nwrdny01.gnilink.net 1073788148 162.84.196.162 (Sat,
 10 Jan 2004 21:29:08 EST)
NNTP-Posting-Date: Sat, 10 Jan 2004 21:29:08 EST
Xref: archiver1.google.com comp.lang.ada:4318
Date: 2004-01-11T02:29:08+00:00
List-Id: <comp.lang.ada>

Dmitry A. Kazakov wrote:
> Because "being an array" or whatsoever is an implementation detail.

And computer programs are all about implementation.

Anyway, you Ada folks are always so hot to know to what a name refers that
half of you despise "use". So you're all going to see the declaration of the
thing in front of the parentheses anyway, and you're going to know whether
it's an array or a function.