From: "Dan'l Miller" <optikos@verizon.net>
Subject: Re: Why are Ada compilers difficult to write ?
Date: Mon, 25 Jun 2018 07:59:08 -0700 (PDT)
Date: 2018-06-25T07:59:08-07:00 [thread overview]
Message-ID: <5c6b156e-be9b-4d9c-a281-0324f6e1923e@googlegroups.com> (raw)
In-Reply-To: <pgpvo7$nms$1@dont-email.me>
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:
> >> >
> >> >> * A section of the Ada _LRM_ standard commonly called the "heart of darkness" which supposedly only a handful of people on the planet grok
> >> >
> >> > Which section is this in the manual? It should be titled that :)
> >>
> >> 3.10.2 (according to Randy)
> >
> > Thanks, but I found it in the index, it's actually labelled as that ;)
> >
>
> Is that the AARM ?
>
> 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 Reference 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
next prev parent reply other threads:[~2018-06-25 14:59 UTC|newest]
Thread overview: 96+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-06-19 21:33 Why are Ada compilers difficult to write ? Vincent
2018-06-19 21:43 ` Paul Rubin
2018-06-19 22:11 ` Lucretia
2018-06-24 17:33 ` Paul Rubin
2018-06-24 17:39 ` Lucretia
2018-06-19 22:01 ` Jacob Sparre Andersen
2018-06-19 22:18 ` Lucretia
2018-06-21 14:02 ` Jacob Sparre Andersen
2018-06-21 17:20 ` Lucretia
2018-06-19 22:17 ` Lucretia
2018-06-19 22:34 ` Dan'l Miller
2018-06-22 13:01 ` Alejandro R. Mosteo
2018-06-20 8:33 ` gautier_niouzes
2018-06-20 15:54 ` Jeffrey R. Carter
2018-06-20 17:54 ` Dan'l Miller
2018-06-20 18:18 ` Dan'l Miller
2018-06-20 18:58 ` Luke A. Guest
2018-06-20 19:37 ` Dan'l Miller
2018-06-20 19:39 ` Dan'l Miller
2018-06-20 19:50 ` Dan'l Miller
2018-06-20 21:26 ` Luke A. Guest
2018-06-27 14:19 ` Olivier Henley
2018-06-27 15:34 ` Dan'l Miller
2018-06-27 16:26 ` Olivier Henley
2018-06-27 16:50 ` Dan'l Miller
2018-06-27 17:53 ` Olivier Henley
2018-06-27 18:49 ` Dan'l Miller
2018-06-28 11:54 ` Mehdi Saada
2018-06-29 3:34 ` Paul Rubin
2018-06-29 16:36 ` G. B.
2018-06-29 17:02 ` Dan'l Miller
2018-06-21 10:44 ` Marius Amado-Alves
2018-06-21 12:45 ` Dan'l Miller
2018-06-21 21:08 ` Paul Rubin
2018-06-21 21:42 ` Dan'l Miller
2018-06-21 22:01 ` Simon Wright
2018-06-21 23:04 ` Dan'l Miller
2018-06-22 0:20 ` Dan'l Miller
2018-06-22 3:41 ` Paul Rubin
2018-06-29 21:19 ` Randy Brukardt
2018-06-22 3:44 ` Paul Rubin
2018-06-22 21:57 ` Dan'l Miller
2018-06-22 23:15 ` Luke A. Guest
2018-06-23 1:03 ` Dan'l Miller
2018-06-23 1:49 ` Luke A. Guest
2018-06-23 2:54 ` Dan'l Miller
2018-06-23 14:48 ` Dennis Lee Bieber
2018-06-23 14:41 ` Dennis Lee Bieber
2018-06-25 5:55 ` Simon Clubley
2018-06-29 21:22 ` Randy Brukardt
2018-06-22 3:31 ` Paul Rubin
2018-06-22 16:44 ` antispam
2018-06-22 13:11 ` Lucretia
2018-06-22 17:10 ` Simon Clubley
2018-06-22 18:00 ` Lucretia
2018-06-25 5:48 ` Simon Clubley
2018-06-25 8:46 ` Alejandro R. Mosteo
2018-06-25 13:23 ` Lucretia
2018-06-25 17:24 ` Simon Clubley
2018-06-25 14:59 ` Dan'l Miller [this message]
2018-06-25 17:32 ` Simon Clubley
2018-06-29 21:26 ` Randy Brukardt
2018-06-23 5:56 ` J-P. Rosen
2018-06-23 12:44 ` Dan'l Miller
2018-06-23 16:14 ` Shark8
2018-06-23 18:12 ` Dan'l Miller
2018-06-23 18:47 ` Shark8
2018-06-23 19:35 ` Simon Wright
2018-06-25 8:51 ` Alejandro R. Mosteo
2018-06-24 13:41 ` Jacob Sparre Andersen
2018-06-25 6:04 ` Simon Clubley
2018-06-25 6:31 ` Jacob Sparre Andersen
2018-06-25 13:27 ` Lucretia
2018-06-25 20:07 ` Dirk Craeynest
2018-06-28 12:08 ` Vincent
2018-06-28 12:21 ` Simon Wright
2018-06-28 12:24 ` Luke A. Guest
2018-06-28 12:41 ` Dan'l Miller
2018-06-28 14:43 ` J-P. Rosen
2018-06-28 18:26 ` Dmitry A. Kazakov
2018-06-29 21:35 ` Randy Brukardt
2018-06-29 21:29 ` Randy Brukardt
2018-06-21 17:42 ` Pascal Obry
2018-06-21 20:18 ` Dan'l Miller
2018-06-22 5:01 ` J-P. Rosen
2018-06-22 7:16 ` Dmitry A. Kazakov
2018-06-22 11:46 ` Dan'l Miller
2018-06-22 12:11 ` Dmitry A. Kazakov
2018-06-22 12:35 ` Dan'l Miller
2018-06-22 15:55 ` Dmitry A. Kazakov
2018-06-29 21:43 ` Randy Brukardt
2018-06-25 15:33 ` Dan'l Miller
2018-10-01 18:09 ` Tucker Taft
2018-10-01 18:51 ` Lucretia
2018-10-02 12:58 ` Alejandro R. Mosteo
2018-10-02 14:23 ` Lucretia
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox