CVS difference for ais/ai-00040.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00040.txt

--- ais/ai-00040.txt	1998/09/30 00:17:09	1.1
+++ ais/ai-00040.txt	1999/07/21 03:10:57	1.2
@@ -1,4 +1,4 @@
-!standard 13.14    (05)                               96-11-16  AI95-00040/04
+!standard 13.14    (05)                               99-05-27  AI95-00040/05
 !class ramification 95-06-25
 !status WG9 approved 96-12-07
 !status ARG approved 11-0-1  96-10-07
@@ -9,12 +9,12 @@
 !difficulty Easy
 !subject A box for a formal subprogram_default freezes the actual
 
-!summary 95-06-25
+!summary
 
-A box for a formal subprogram_default freezes the actual subprogram 
+A box for a formal subprogram_default freezes the actual subprogram
 determined in an instantiation.
 
-!question 96-09-15
+!question
 
 Consider:
 
@@ -22,29 +22,33 @@
         type T2 is ...
         function "+"(A: T; B: T2) return T;
 
-        generic 
+        generic
             type FT is private;
             with function "+"(A: FT; B: T2) return FT is <>;
         package GP is ...
 
-        package IP is new GP(T); 
+        package IP is new GP(T);
             -- does this instantiation freeze "+" and therefore T2? (Yes.)
 
 13.14(5) doesn't cover that case.
 
-!response 95-06-25
-   
+!response
+
 12.6(10) says, "If a generic unit has a 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."
 
-Thus, the instantiation GP(T) is equivalent to the instantiation GP(T, "+").  
+Thus, the instantiation GP(T) is equivalent to the instantiation GP(T, "+").
 
 13.14(4,5,14) then demand that "+" and T2 are frozen by the
 instantiation.
+
+!ACATS test
+
+Create a B-Test out of the example in this AI.
 
-!appendix 95-06-25
+!appendix
 
 !section 13.14(5)
 !section 12.6(10)
@@ -61,7 +65,7 @@
 type T2 is ...
 function "+"(A: T; B: T2) return T;
 
-generic 
+generic
    type FT is private;
    with function "+"(A: FT; B: T2) return FT is <>;
 package GP is ...

Questions? Ask the ACAA Technical Agent