comp.lang.ada
 help / color / mirror / Atom feed
From: Adam Beneschan <adam@irvine.com>
Subject: Re: Direct Quote from the RM
Date: Tue, 20 Nov 2007 08:21:24 -0800 (PST)
Date: 2007-11-20T08:21:24-08:00	[thread overview]
Message-ID: <d5495389-9ee7-44f5-8a3e-864afdc7edee@s36g2000prg.googlegroups.com> (raw)
In-Reply-To: ZtA0j.33469$if6.26651@bgtnsc05-news.ops.worldnet.att.net

On Nov 20, 4:32 am, a...@anon.org (anon) wrote:
> For Randy Brukardt.
>
> You did not need to post three copies of you post! I read the first one.
>
> Since, you want to sub-divide the RM that's fine. From 1.1.2 using (2
> and 3) states the core starts in Section 1 .. 13. So using
> "Section 1 General" paragraph 1.

Randy, I think he's got you there.  Perhaps I should make a formal
request in Ada-Comment that 1.1.2(3) be changed from "Sections 1
through 13" to "Sections 1.1.3 through 13".  And maybe I'm the right
person to submit this, since I seem someone who worries way too much
about the implications of taking the RM's language hyper-literally.
Maybe this should be brought up at an ARG meeting, for comic relief to
release some stress before delving into the next Baird issue.  (I
notice you finally changed the !recommendation section of AI05-0051,
by the way...)  :) :)

                            -- Adam



  reply	other threads:[~2007-11-20 16:21 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-11-17 21:22 Direct Quote from the RM anon
2007-11-18  7:07 ` Simon Wright
2007-11-18  9:43   ` anon
2007-11-18 12:57     ` Markus E L
2007-11-19  0:16     ` Georg Bauhaus
2007-11-20 13:43       ` anon
2007-11-20 15:10         ` parallel translation (was: Direct Quote from the RM) Georg Bauhaus
2007-11-20 18:47           ` parallel translation Jeffrey R. Carter
2007-11-20 19:48             ` Samuel Tardieu
2007-11-21  0:09               ` Jeffrey R. Carter
2007-11-20 20:26             ` Georg Bauhaus
2007-11-20 17:07         ` Direct Quote from the RM Vadim Godunko
2007-11-21  6:44           ` anon
2007-11-19 21:48 ` Randy Brukardt
2007-11-19 22:41   ` Ludovic Brenta
2007-11-19 21:48 ` Randy Brukardt
2007-11-19 21:48 ` Randy Brukardt
2007-11-20 12:32   ` anon
2007-11-20 16:21     ` Adam Beneschan [this message]
2007-11-21  3:14       ` Randy Brukardt
2007-11-21  8:03         ` anon
2007-11-21  3:01     ` Randy Brukardt
2007-11-26 18:23       ` Adam Beneschan
2007-11-21  3:01     ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox