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

--- ai05s/ai05-0183-1.txt	2010/10/26 00:01:34	1.11
+++ ai05s/ai05-0183-1.txt	2010/10/26 05:39:47	1.12
@@ -1668,6 +1668,41 @@
 
 ****************************************************************
 
+From: Christoph Grein
+Sent: Tuesday, September 28, 2010  2:33 AM
+
+6.7(2/3) null_procedure_declaration ::=
+[overriding_indicator]
+procedure_specification is null
+[aspect_specification];;
+
+Additional semicolon at end.
+
+[Editor's note: This is a typo in the draft AARM.]
+
+13.3.2 (16/3) ... a precondition check is performed. This begins with the
+evaluation of the precondition expressions that apply to the subprogram or
+entry... The order of performing the checks is not specified, ...
+
+Does it make sense to say with which check the evaluation begins without
+saying what then follows, and at the same time specifying that the sequence of
+checks is unspecified?
+
+(No further comments since the chapters 13.3.1 and 2 are incomplete.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Tuesday, September 28, 2010  9:00 PM
+
+Probably not. The additional of "begins" doesn't seem to add anything here;
+the rest of it says what's done with the results of the evaluation and makes
+it clear that they all might not be evaluated. The wording probably would be
+better to just say "The check evaluates the precondition expressions..." or
+even "This evaluates...".
+
+****************************************************************
+
 From: Tucker Taft
 Sent: Monday, October 25, 2010  2:55 PM
 
@@ -1790,4 +1825,3 @@
     "warning: since type& is frozen here"
 
 ****************************************************************
-