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

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

--- ai12s/ai12-0056-1.txt	2013/01/15 03:59:33	1.1
+++ ai12s/ai12-0056-1.txt	2013/04/12 02:29:05	1.2
@@ -1,9 +1,10 @@
-!standard 1.1(3/3)                                   13-01-14  AI05-0056-1/01
+!standard 1.1(3/3)                                   13-04-11  AI05-0056-1/02
 !standard 1.1.2(24/3)
 !standard 3.9(12.4/3)
 !standard 3.10(22/2)
 !standard 5.2(20)
 !standard 6.1(39)
+!standard A.18.25(10/3)
 !class presentation 12-12-12
 !status Amendment 202x 13-01-14
 !status work item 13-01-14
@@ -34,6 +35,8 @@
 6) "derived_type_declaration" should be "derived_type_definition" in the
 syntax font (and have a link) in 3.9(12.4/3).
 
+7) Function Copy in A.18.25(10/3) should return type Tree, not type List.
+
 !question
 
 1) The Next_Frame example in 6.1(39) uses type Frame, which is labeled "see 3.10".
@@ -56,6 +59,10 @@
 6) In 3.9(12.4/3), "derived_type_declaration" clearly refers to a syntax
 term, but it is not in the syntax font. Should this be fixed? (Yes.)
 
+7) The function Copy declared in A.18.25(10/3) takes a Tree parameter, but
+returns a List! There is no List declared in this package; this ought to be
+Tree, right? (Yes.)
+
 !recommendation
 
 (See Summary.)
@@ -93,6 +100,11 @@
    {defined}[declared] by a {derived_type_definition}[derived_type_declaration]),
    then No_Tag is returned.
 
+7) Modify A.18.25(10/3):
+
+   function Copy (Source : Tree; Capacity : Count_Type := 0)
+       return {Tree}[List];
+
 !discussion
 
 1) The intent is that the examples in the Standard, taken as a whole, are
@@ -165,6 +177,9 @@
 previously mentioned types has a parent type; the function ignores them when
 determining its result.)
 
+7) This is pretty clearly a cut-and-paste error, as a similar bullet appears
+in each of the bounded container sections.
+
 !corrigendum 1.1(3/3)
 
 @drepl
@@ -242,6 +257,14 @@
 @b<function> Find(B : @b<aliased in out> Barrel; Key : String) @b<return> Real;
                                                          --@ft<@i<  see 4.1.5>>>
 
+!corrigendum A.18.25(10/3)
+@drepl
+@xcode<   @b<function> Copy (Source : Tree; Capacity : Count_Type := 0)
+      @b<return> List;>
+@dby
+@xcode<   @b<function> Copy (Source : Tree; Capacity : Count_Type := 0)
+      @b<return> Tree;>
+
 !ASIS
 
 No changes needed.
@@ -426,5 +449,14 @@
 This ought to be fixed in the presentation AI (whenever that gets created).
 It's been wrong since the Ada 2005 Standard, so the importance level meter is
 barely budged...
+
+****************************************************************
+
+From: John Barnes
+Sent: Thursday, April 11, 2013  8:07 PM
+
+A.18.25 (10/3) says that function Copy for a bounded Tree returns a List!!
+
+Maybe we knew that.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent