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=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a6b:bb42:: with SMTP id
 l63-v6mr5445839iof.101.1529938748656;
        Mon, 25 Jun 2018 07:59:08 -0700 (PDT)
X-Received: by 2002:aca:ed52:: with SMTP id l79-v6mr822736oih.4.1529938748521;
 Mon, 25 Jun 2018 07:59:08 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.gegeweb.eu!gegeweb.org!news.redatomik.org!newsfeed.xs4all.nl!newsfeed7.news.xs4all.nl!85.12.16.68.MISMATCH!peer01.ams1!peer.ams1.xlned.com!news.xlned.com!peer01.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!u78-v6no4007041itb.0!news-out.google.com!p13-v6ni1064itf.0!nntp.google.com!d7-v6no4041897itj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Mon, 25 Jun 2018 07:59:08 -0700 (PDT)
In-Reply-To: <pgpvo7$nms$1@dont-email.me>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=47.185.195.62;
 posting-account=zwxLlwoAAAChLBU7oraRzNDnqQYkYbpo
NNTP-Posting-Host: 47.185.195.62
References: <584564c2-9f64-4965-b045-535cdaf899c0@googlegroups.com>
 <pgdtbd$7pd$1@dont-email.me>
 <7cb22c58-3009-47f0-8fe7-62f3cd61785d@googlegroups.com>
 <b09eac1a-0783-4a44-bb90-4820da4afe30@googlegroups.com>
 <pgjai9$bhp$1@dont-email.me>
 <50ab294a-9bd5-4005-be6d-3c359f817b59@googlegroups.com>
 <pgpvo7$nms$1@dont-email.me>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5c6b156e-be9b-4d9c-a281-0324f6e1923e@googlegroups.com>
Subject: Re: Why are Ada compilers difficult to write ?
From: "Dan'l Miller" <optikos@verizon.net>
Injection-Date: Mon, 25 Jun 2018 14:59:08 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2647
X-Received-Body-CRC: 4257367609
Xref: reader02.eternal-september.org comp.lang.ada:53303
Date: 2018-06-25T07:59:08-07:00
List-Id: <comp.lang.ada>

On Monday, June 25, 2018 at 12:48:57 AM UTC-5, Simon Clubley wrote:
> On 2018-06-22, Lucretia wrote:
> > On Friday, 22 June 2018 18:10:35 UTC+1, Simon Clubley  wrote:
> >> On 2018-06-22, Lucretia <> wrote:
> >> > On Wednesday, 20 June 2018 18:55:02 UTC+1, Dan'l Miller  wrote:
> >> >
> >> >> *=C2=A0A section of the Ada _LRM_ standard commonly called the "hea=
rt of darkness" which supposedly only a handful of people on the planet gro=
k
> >> >
> >> > Which section is this in the manual? It should be titled that :)
> >>=20
> >> 3.10.2 (according to Randy)
> >
> > Thanks, but I found it in the index, it's actually labelled as that ;)
> > =20
>=20
> Is that the AARM ?
>=20
> It's not in the Ada 95 paper LRM I have or a PDF copy of the Ada 2012 LRM=
.

Paper copy?  From 1995?  Well, here is the _AARM_ (the _Annotated Ada Refer=
ence Manual_) for Ada2012+TC1 (which could be called Ada2016)
http://www.ada-auth.org/standards/aarm12_w_tc1/AA-Final.pdf

For completeness, here where to get the _LRM_ for Ada2012+TC1 (Ada2016) as =
well:
http://www.ada-auth.org/arm.html