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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0406-1.txt

--- ai12s/ai12-0406-1.txt	2020/12/03 05:17:17	1.2
+++ ai12s/ai12-0406-1.txt	2020/12/11 22:22:26	1.3
@@ -1,9 +1,11 @@
-!standard 3.10.2(3/2)                                    20-12-01  AI12-0406-1/02
+!standard 3.10.2(3/2)                                    20-12-09  AI12-0406-1/03
 !standard 3.10.2(18)
 !standard 3.10.2(19/3)
 !standard 3.10.2(19.1/3)
 !standard 7.6.1(3/2)
 !class binding interpretation 20-11-20
+!status Amendment 1-2012 20-12-09
+!status ARG Approved 15-0-0  20-12-09
 !status work item 20-11-20
 !status received 20-11-20
 !priority Low
@@ -113,13 +115,13 @@
 
 Master: A master is the execution of a master construct.
 Each object and task is associated with a master. When a master is left,
-associated objects are finalized and associated tasks are awaited.
+associated tasks are awaited and associated objects.
 
 Add a glossary entry:
 
-Master construct: A master construct is one of certain executable constructs.
-Execution of a master construct is a master, with which objects and tasks
-are associated for the purposes of finalization and waiting.
+Master construct: A master construct is one of certain executable constructs
+listed in 7.6.1. Execution of a master construct is a master, with which 
+objects and tasks are associated for the purposes of finalization and waiting.
 
 !discussion
 
@@ -187,7 +189,7 @@
 
 The Ada 2012 rules make the allocator at (1) illegal, by 4.8(5.2/3). With the
 wording change proposed by this AI, (1) becomes legal as the "statically 
-deeper" relationship does not apply. A dynamic check is still requires at one,
+deeper" relationship does not apply. A dynamic check is still required at (1),
 in case the instance of G2 is nested more than type Ref.
 
 !ASIS
@@ -198,7 +200,8 @@
 
 No (new) tests should be needed for question (1). For question (2), a C-Test
 like the example is needed to check that types in formal packages are treated
-properly.
+properly. This test would include a (simple) case where the dynamic check 
+would fail.
 
 !appendix
 

Questions? Ask the ACAA Technical Agent