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

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

--- ai05s/ai05-0071-1.txt	2008/07/08 03:32:51	1.4
+++ ai05s/ai05-0071-1.txt	2008/09/24 18:35:01	1.5
@@ -1,6 +1,6 @@
-!standard 12.5.1(23.1/2)                                 08-07-07    AI05-0071-1/03
+!standard 12.5.1(23.1/2)                                 08-08-08    AI05-0071-1/04
 !standard 12.6(10)
-!class Amendment 07-10-24
+!class binding interpretation 08-06-21
 !status ARG Approved  6-0-2  08-06-21
 !status work item 07-10-24
 !status received 07-10-05
@@ -10,9 +10,11 @@
 
 !summary
 
-(See proposal.)
+An equivalence is defined for the purposes of formal subprogram
+default matching so that the class-wide type can make a similar
+substitution that it does inside of the generic.
 
-!problem
+!question
 
 There is no predefined equality operator for class-wide types. This causes a problem
 when instantiating predefined containers in that it is necessary to create a dispatching
@@ -23,16 +25,13 @@
        Ada.Containers.Indefinite_Vectors(
          Positive, T'Class, Equal);
 
-!proposal
+Should this be fixed somehow? (Yes.)
 
-There seem to be two ways to fix this:
+!recommendation
 
-(1) Define an equivalence for the purposes of formal subprogram default
-matching so that the class-wide type can make a similar substitution
-that it does inside of the generic; or
+(See summary.)
 
-(2) Define the idea of "call conformance"; this would include the
-matching between formals and actuals in a call.
+There seem to be two ways to fix this:
 
 !wording
 

Questions? Ask the ACAA Technical Agent