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

Differences between 1.3 and version 1.4
Log of other versions for file ai05s/ai05-0071-1.txt

--- ai05s/ai05-0071-1.txt	2008/06/15 04:46:28	1.3
+++ ai05s/ai05-0071-1.txt	2008/07/08 03:32:51	1.4
@@ -1,7 +1,7 @@
-!standard  A.18(0/2)                                 08-06-14    AI05-0071-1/02
-!standard 12.5.1(23.1/2)
+!standard 12.5.1(23.1/2)                                 08-07-07    AI05-0071-1/03
 !standard 12.6(10)
 !class Amendment 07-10-24
+!status ARG Approved  6-0-2  08-06-21
 !status work item 07-10-24
 !status received 07-10-05
 !priority Medium
@@ -47,16 +47,17 @@
    the corresponding actual parameter is omitted, then it is equivalent
    to an explicit actual parameter that is a usage name identical to the
    defining name of the formal. {If a subtype_mark in the profile of the
-   formal_subprogram_declaration denotes a formal private or formal
-   derived type, and the actual type for this formal type is a
-   class-wide type T'Class, then for the purposes of resolving this
-   default subprogram name at the point of the instantiation, for each
-   primitive subprogram of T that has a matching name and that is
-   directly visible at the point of the instantiation, a corresponding
-   subprogram with the same name is directly visible, but with T
-   systematically replaced by T'Class in the types of its profile. The
-   body of such an subprogram is as defined in 12.5.1 for primitive
-   subprograms of a formal type when the actual type is class-wide.
+   formal_subprogram_declaration denotes a formal private or formal derived
+   type, and the actual type for this formal type is a class-wide type
+   T'Class, then for the purposes of resolving this default_name at the
+   point of the instantiation, for each primitive subprogram of T that has
+   a matching defining name, that is directly visible at the point of the
+   instantiation, and that has at least one controlling formal parameter,
+   a corresponding subprogram with the same defining name is directly
+   visible, but with T systematically replaced by T'Class in the types
+   of its profile. The body of such a subprogram is as defined in
+   12.5.1 for primitive subprograms of a formal type when the actual
+   type is class-wide.}
    
 !discussion
 
@@ -140,6 +141,38 @@
            ...
        end if;
    end Test;
+
+!corrigendum 12.5.1(23.1/2)
+
+@drepl
+In the case where a formal type is tagged with unknown discriminants,
+and the actual type is a class-wide type @i<T>'Class:
+@dby
+In the case where a formal type has unknown discriminants,
+and the actual type is a class-wide type @i<T>'Class:
+
+!corrigendum 12.6(10)
+
+@drepl
+If a generic unit has a @fa<subprogram_default> specified by a box, and the
+corresponding actual parameter is omitted, then it is equivalent to an explicit
+actual parameter that is a usage name identical to the defining name of the formal.
+@dby
+If a generic unit has a @fa<subprogram_default> specified by a box, and the
+corresponding actual parameter is omitted, then it is equivalent to an explicit
+actual parameter that is a usage name identical to the defining name of the formal.
+If a @fa<subtype_mark> in the profile of the
+@fa<formal_subprogram_declaration> denotes a formal private or formal derived
+type, and the actual type for this formal type is a class-wide type
+@i<T>'Class, then for the purposes of resolving this @fa<default_name> at the
+point of the instantiation, for each primitive subprogram of @i<T> that has
+a matching defining name, that is directly visible at the point of the
+instantiation, and that has at least one controlling formal parameter,
+a corresponding subprogram with the same defining name is directly
+visible, but with @i<T> systematically replaced by @i<T>'Class in the types
+of its profile. The body of such a subprogram is as defined in
+12.5.1 for primitive subprograms of a formal type when the actual
+type is class-wide.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent