CVS difference for ai05s/ai05-0005-1.txt

--- ai05s/ai05-0005-1.txt	2008/12/02 06:01:19	1.20
+++ ai05s/ai05-0005-1.txt	2009/02/05 05:28:07	1.21
@@ -1753,7 +1753,141 @@
 
 ****************************************************************
 
-Editor's note (Nov 13, 2008): All of the items above this
+From: Christoph Grein
+Sent: Thursday, November 13, 2008  5:19 AM
+
+I could not find the policy identifiers FIFO_Within_Priorities etc in the RM index.
+So there is no place where you can find all predefined policies in one list.
+I would propose to enter them under "locking policy" in the index.
+
+****************************************************************
+
+From: Adam Beneschan
+Sent: Thursday, November 13, 2008  12:47 PM
+
+I think you meant "task dispatching policy"?
+
+Lots of predefined identifiers occur in two places, e.g. language-defined pragmas
+and attributes appear both as themselves and under the "predefined" or "attribute"
+index entries respectively.
+
+That probably ought to be the case here, too.  For one thing, having the identifier
+findable under its own name would help in a case where someone tries to find a task
+dispatching policy name in the "locking policy" index entry and can't find it.  :) :)
+
+The identifier Ceiling_Locking doesn't seem to be anywhere in the index, either.
+
+****************************************************************
+
+From: Christoph Grein
+Sent: Friday, November 14, 2008  1:34 AM
+
+Of course. In fact, I was looking for task dispatching policy identifiers, locking
+policy identifiers and restriction identifiers in the index, especially for No_Delay.
+It wasn't under N, and finally I found it under R, "Restrictions", which is the last
+place where to look.
+
+So I do think, these missing identifiers (FIFO_Within_Priorities, Ceiling_Locking etc)
+all have to appear in the index.
+
+****************************************************************
+
+!topic Missing blanks before inserted text
+!reference Ada 2005 RM-6.5 [This is a comment on the draft consolidated standard - ED.]
+!from Christoph Grein 2008-12-16
+!discussion
+
+Newly inserted text is missing a space. I found two such cases, but am sure there are a lot
+more occurrences like those.
+
+RM 6.5(5.2/3) ... The type of the subtype_indication shall be{ }covered by the result type of the function.
+
+(22/3) ... Upon completion of a return statement that applies to a callable construct{ }by the normal
+completion of a simple_return_statement...
+
+I found three more:
+
+RM 10.7(8/3,10/3,12/3) ... Status_Error is propagated if the file is not open.{ }Mode_Error is propagated
+if the mode of the file is not In_File. [He means A.10.7 - ED.]
+
+A simply typo:
+
+(28.f.1/3) ... However, it allows raising a[n] Constraint_Error in some cases...
+
+****************************************************************
+
+!topic Grammatically wrong new text
+!reference Ada 2005 AARM 6.4.1(17.g/3) [This is a comment on the draft consolidated standard - ED.]
+!from Christoph Grein 2008-12-16
+!discussion
+... and requiring such cases to work would be a major change of the user model (in parameters
+{c}[w]ould no longer [could] be assumed constant).
+
+****************************************************************
+
+!topic Wrong AI referenced
+!reference Ada 2005 AARM 4.1(17.h/3) [This is a comment on the draft consolidated standard - ED.]
+!from Christoph Grein 2008-12-18
+!discussion
+This paragraph references AI05-0015-1, but the correct one is AI05-0003-1.
+
+****************************************************************
+
+!reference Ada 2005 RM 4.5.6(11/3) [This is a comment on the draft consolidated standard - ED.]
+!topic The value of X**N with the value of the exponent N positive {is} the same as the value of...
+
+****************************************************************
+
+From: Adam Beneschan
+Sent: Thursday, January 15, 2009  12:36 PM
+
+Last June, I posted a question to Ada-Comment, but I never received a response, nor
+did this end up in any AI's or AC's.  So I think it may have fallen through the cracks.
+I'm reposting it in case that's what happened. 
+
+[Followed by a reposting of the message filed June 11, 2008. - ED]
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, January 15, 2009  1:03 PM
+
+Not true; it got filed into AI05-0005-1, and an appropriate AARM note added (A.11(4.a/3)).
+(No one I queried could imagine how it could mean anything else than both packages --
+everything else in this section works that way -- so we didn't see the point of doing a
+full ARG resolution on it - especially as we had dozens of other comments [mostly from you! :-)]
+that actually need discussion.)
+
+See the working AARM at
+http://www.adaic.com/standards/1zaarm/html/AA-A-11.html.
+
+****************************************************************
+
+From: Adam Beneschan
+Sent: Thursday, January 15, 2009  12:36 PM
+
+> Not true; it got filed into AI05-0005-1, and an appropriate AARM note 
+> added (A.11(4.a/3)). (No one I queried could imagine how it could mean 
+> anything else than both packages -- everything else in this section 
+> works that way --
+
+Actually, I didn't think there was anything else in the section to which that would
+even apply---i.e. there are no generic formal parameter *names* that are mentioned
+as names that are to be replaced.
+
+> so we didn't see the point of doing a full ARG resolution on it - 
+> especially as we had dozens of other comments [mostly from you! :-)] 
+> that actually need
+> discussion.)
+
+My fault.  I searched the AI text files and didn't find it, but I must have either
+made a typo or searched for a string that got word-wrapped or something stupid like
+that.  I'm not off to a good start this week...  Time to go back to bed, I guess.  (I
+can't even blame the extreme cold the way you could because it's been close to 90 here...)
+
+****************************************************************
+
+Editor's note (Jan 15, 2009): All of the items above this
 marker have been included in the working version of the AARM.
 
 ****************************************************************