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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD,
	FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: 103376,9544fb5ce0a6df8b
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.39.100 with SMTP id o4mr31426706pbk.0.1322571098780;
        Tue, 29 Nov 2011 04:51:38 -0800 (PST)
Path: 
 lh20ni37204pbb.0!nntp.google.com!news1.google.com!postnews.google.com!t16g2000vba.googlegroups.com!not-for-mail
From: Mark Lorenzen <mark.lorenzen@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: Overloading attributes
Date: Tue, 29 Nov 2011 04:50:17 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <f10225e5-d894-4ccb-924a-6cf741781fe4@t16g2000vba.googlegroups.com>
References: <8ed87fee-166a-4be9-ae6c-4d0fbeb4788c@s6g2000vbc.googlegroups.com>
 <jasb8q$sgv$1@speranza.aioe.org> <jasnea$ac1$1@dont-email.me>
 <jau4t6$7ms$1@speranza.aioe.org> <jaug0j$ph5$1@dont-email.me>
 <javj7h$ftm$1@speranza.aioe.org> <rNudnaTdZOKn9U7T4p2dnAA@giganews.com>
 <jb2hdo$3fg$1@speranza.aioe.org>
NNTP-Posting-Host: 193.163.1.105
Mime-Version: 1.0
X-Trace: posting.google.com 1322571018 24926 127.0.0.1 (29 Nov 2011 12:50:18
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 29 Nov 2011 12:50:18 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: t16g2000vba.googlegroups.com; posting-host=193.163.1.105;
 posting-account=Srm5lQoAAAAEMX9rv2ilEKR6FDPapmSq
User-Agent: G2/1.0
X-Google-Web-Client: true
X-Google-Header-Order: HUALESNKRC
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 5.1;
 rv:8.0) Gecko/20100101 Firefox/8.0,gzip(gfe)
Xref: news1.google.com comp.lang.ada:19235
Content-Type: text/plain; charset=ISO-8859-1
Date: 2011-11-29T04:50:17-08:00
List-Id: <comp.lang.ada>

On 29 Nov., 12:58, a...@att.net wrote:
> Where in the RM does it say that the compiler and RTL is the implementation?
> As everyone says the Ada RM is the final word! And if it is not defined in
> the RM then the compiler and RTL are not the implementation, but are the
> tools for the implementation.

I think that chapter 1.1.3 ("Conformity of an Implementation with the
Standard") pretty well describes the expectations for an
implementation. To me it's pretty obvious that the standard is talking
about the toolchain and the RTL.

Regards,

Mark L