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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0330-1.txt

--- ai12s/ai12-0330-1.txt	2019/05/14 07:05:19	1.5
+++ ai12s/ai12-0330-1.txt	2019/05/17 05:34:01	1.6
@@ -1,4 +1,4 @@
-!standard N(0)                                      19-05-10  AI12-0330-1/02
+!standard N(0)                                      19-05-16  AI12-0330-1/03
 !class Amendment 19-04-05
 !status Amendment 1-2012 19-05-09
 !status ARG Approved 11-0-0  19-05-09
@@ -36,6 +36,10 @@
 
 Add the following Glossary entries:
 
+Aggregate
+A construct used to define a value of a composite type by specifying the
+values of the components of the type.
+
 Attribute
 A characteristic or property of an entity that can be queried, and in some 
 cases specified.
@@ -102,6 +106,25 @@
 We might want to verify that most of these terms also appear in the index.
 At the moment, "logical thread of control" is not in the index.
 
+!corrigendum 9(1/3)
+
+@drepl
+The execution of an Ada program consists of the execution of one or more 
+@i<tasks>. Each task represents a separate thread of control that proceeds 
+independently and concurrently between the points where it @i<interacts> with 
+other tasks. The various forms of task interaction are described in this clause, 
+and include: 
+@dby
+The execution of an Ada program consists of the execution of one or
+more @i<tasks>. Each task represents a separable activity that proceeds 
+independently and concurrently between the points where it @i<interacts> with 
+other tasks. A single task, when within the context of a parallel construct, 
+can represent multiple @i<logical threads of control> which can proceed in 
+parallel; in other contexts, each task represents one logical thread of 
+control.
+
+!comment We're not bothering to make !corrigendum text for the glossary entries.
+
 !ASIS
 
 No ASIS effect.
@@ -461,5 +484,46 @@
 indexed (I think that happens automatically), so perhaps that is good enough 
 (unless someone wants to take another swing at revising the intro to 
 Chapter 9).
+
+***************************************************************
+
+From: Randy Brukardt
+Sent: Thursday, May 16, 2019  11:36 PM
+
+We added a definition of "Container Aggregate" in this AI:
+
+Container Aggregate
+A construct used to define a value of a type that represents a collection of 
+elements, by explicitly specifying the elements in the collection.
+
+but there's no definition of Aggregate by itself. That's rather weird. I 
+created one by borrowing the introduction to 4.3:
+
+Aggregate
+A construct used to define a value of a composite type that by specifying the 
+values of the components of the type.
+
+Neither this definition nor the one in 4.3 really tries to allow for container 
+aggregates, but neither are outright wrong, either, so I'm not going to worry 
+about that.
+
+If any one has an objection (or improvement), please speak up (I've already 
+made this change).
+
+***************************************************************
+
+From: Gary Dismukes
+Sent: Thursday, May 16, 2019  11:46 PM
+
+I suggest deleting the word "that" from the definition of Aggregate. ;-)
+
+Otherwise, both definitions seem OK.
+
+***************************************************************
+
+From: Randy Brukardt
+Sent: Friday, May 17, 2019  12:25 AM
+
+Gotcha.
 
 ***************************************************************

Questions? Ask the ACAA Technical Agent