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-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!proxad.net!feeder1-2.proxad.net!u-picardie.fr!news.ecp.fr!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Ada extension information
Date: Fri, 29 May 2009 19:25:53 -0500
Organization: Jacob Sparre Andersen
Message-ID: <gvpufa$l7h$1@munin.nbi.dk>
References: <d784432e-fa9d-4bc9-b849-ecb2208afc73@c9g2000yqm.googlegroups.com>
 <0d9fe71d-788c-46b0-8c5b-18bd229d7246@r3g2000vbp.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1243643178 21745 69.95.181.76 (30 May 2009 00:26:18 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 30 May 2009 00:26:18 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5512
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5579
Xref: g2news2.google.com comp.lang.ada:6110
Date: 2009-05-29T19:25:53-05:00
List-Id: <comp.lang.ada>

"Martin" <martin.dowie@btopenworld.com> wrote in message 
news:0d9fe71d-788c-46b0-8c5b-18bd229d7246@r3g2000vbp.googlegroups.com...
...
>> Is it not jumping the gun a little to use these extensions to document
>> standard libraries before they become official, or even documented?
>
>Probably not, as there is nothing I know of requires the standard
>libraries to be written in Ada, let alone 'vanilla' Ada.
>
>Even if it was in the public part of the specification I guess it
>would still be ok if used for something 'implementation-defined'.

That is correct. There is no requirement that Ada standard packages be 
implemented in Ada (although generally the standard tries to make that 
possible). I think it is unusual if all of the standard packages *are* 
implemented in Ada.

For instance, Janus/Ada has a couple of units implemented in assembler, and 
there are also a number of standard packages that are 'built-in'; that is 
there is no implementation at all (the compiler just generates the needed 
code).

Obviously, portability is enhanced if units don't depend on 
compiler-specific features, but that hardly matters for the language-defined 
units. No one is going to try to compile the Janus/Ada Ada.Text_IO package 
with GNAT (or vice versa) -- both compilers have their own!

                             Randy.