CVS difference for ai12s/ai12-0127-1.txt

Differences between 1.19 and version 1.20
Log of other versions for file ai12s/ai12-0127-1.txt

--- ai12s/ai12-0127-1.txt	2018/01/18 20:36:47	1.19
+++ ai12s/ai12-0127-1.txt	2018/01/19 03:24:45	1.20
@@ -1,4 +1,4 @@
-!standard 4.3(2)                                    17-12-21    AI12-0127-1/13
+!standard 4.3(2)                                    18-01-18    AI12-0127-1/13
 !standard 4.3(3/2)
 !standard 4.3(4)
 !standard 4.3.1(9)
@@ -13,6 +13,8 @@
 !standard 7.5(2.6/2)
 !class Amendment 14-08-21
 !status Amendment 1-2012 17-11-21
+!status ARG Approved 12-0-0  (By Letter Ballot) 18-01-18
+!status work item 17-12-01
 !status ARG Approved 8-0-0  17-10-14
 !status work item 14-08-21
 !status received 14-07-14
@@ -109,7 +111,7 @@
   record_aggregate or extension_aggregate} shall denote a needed component
   (including possibly a discriminant).{ Each *component_*selector_name in a
   record_component_association of a record_delta_aggregate (see 4.3.4) shall
-  denote a nondiscriminant component of the type of the aggregate.
+  denote a nondiscriminant component of the type of the aggregate.}
 
   AARM Reason: We don't define "needed" for record_delta_aggregates so that
   there is no completeness requirement. But that means that we need to ensure
@@ -309,7 +311,7 @@
   procedure The_Answer (V : in out Vector; A, B : in Integer) -- see 3.6 for type Vector
      with Post => V = (V'Old with delta A .. B => 42.0, V'First => 0.0);
 
-The base expression can be non-trivial:
+The base expression can be nontrivial:
 
   New_Cell : Cell := (Min_Cell (Link) with delta Value => 42);
      -- see 3.10.1 for Cell and Link; 6.1 for Min_Cell
@@ -342,7 +344,7 @@
 resolution, and the like to apply. Additionally, by using aggregate notation,
 we can reuse some of the existing definitions for aggregate elements.
 
-Multi-dimensional array aggregates
+Multidimensional array aggregates
 ----------------------------------
 
 This will be a separate AI as it is much more complex than the record and
@@ -637,7 +639,7 @@
 @xcode<@b<procedure> The_Answer (V : @b<in out> Vector; A, B : @b<in> Integer) --@ft<@i< see 3.6 for type Vector>>
    @b<with> Post =@> V = (V'Old @b<with delta> A .. B =@> 42.0, V'First =@> 0.0);>
 
-The base expression can be non-trivial:
+The base expression can be nontrivial:
 
 @xcode<New_Cell : Cell := (Min_Cell (Link) @b<with delta> Value =@> 42);
    --@ft<@i< see 3.10.1 for Cell and Link; 6.1 for Min_Cell>>>
@@ -3209,5 +3211,42 @@
 array aggregate of the type of the delta aggregate.
 
 in -> in an
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, January 18, 2017  9:01 PM
+
+Following is a summary of the votes on the Triple Letter Ballot. All
+three of these votes passed as expected.
+
+============
+
+Letter Ballot for AI12-0127-1/12:
+ 
+Approve AI as written [6]
+
+Randy Brukardt, Bob Duff, Erhard Ploedereder, Jean-Pierre Rosen,
+Ed Schonberg, and Tullio Vardanega.
+
+Approve AI with comments [6]
+
+Steve Baird, John Barnes, Jeff Cousins, Gary Dismukes, Brad Moore, and
+Tucker Taft.
+
+The comments involved a cut-and-paste error for an AARM note (the draft
+Standard is correct), a missing closing }, and two hyphens rejected by
+Mr. No Hyphen (not Mr. No-Hyphen :-). These are all fixed in the latest
+version (/13).
+
+Reject AI [0]
+
+Abstain [0]
+
+Not voting [4]:
+
+RaphaŽl Amiard, Alan Burns, Pascal Leroy, and Florian Schanda.
+
+[See the other AIs for their votes - Editor.]
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent