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

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

--- ai05s/ai05-0071-1.txt	2008/11/26 23:55:04	1.8
+++ ai05s/ai05-0071-1.txt	2011/05/05 06:58:44	1.9
@@ -156,28 +156,29 @@
 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.
+!comment The changes to 12.6(10) were removed by AI05-0131-1.
+!comment !corrigendum 12.6(10).
+!comment 
+!comment @drepl
+!comment If a generic unit has a @fa<subprogram_default> specified by a box, and the
+!comment corresponding actual parameter is omitted, then it is equivalent to an explicit
+!comment actual parameter that is a usage name identical to the defining name of the formal.
+!comment @dby
+!comment If a generic unit has a @fa<subprogram_default> specified by a box, and the
+!comment corresponding actual parameter is omitted, then it is equivalent to an explicit
+!comment actual parameter that is a usage name identical to the defining name of the formal.
+!comment If a @fa<subtype_mark> in the profile of the
+!comment @fa<formal_subprogram_declaration> denotes a formal private or formal derived
+!comment type and the actual type for this formal type is a class-wide type
+!comment @i<T>'Class, then for the purposes of resolving this @fa<default_name> at the
+!comment point of the instantiation, for each primitive subprogram of @i<T> that has
+!comment a matching defining name, that is directly visible at the point of the
+!comment instantiation, and that has at least one controlling formal parameter,
+!comment a corresponding subprogram with the same defining name is directly
+!comment visible, but with @i<T> systematically replaced by @i<T>'Class in the types
+!comment of its profile. The body of such a subprogram is as defined in
+!comment 12.5.1 for primitive subprograms of a formal type when the actual
+!comment type is class-wide.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent