CVS difference for ais/ai-00316.txt

--- ais/ai-00316.txt	2003/03/04 04:56:23	1.2
+++ ais/ai-00316.txt	2003/05/24 00:51:42	1.3
@@ -1,4 +1,4 @@
-!standard  6.5 (18)                                    02-10-03  AI95-00316/01
+!standard  6.5 (18)                                    03-05-22  AI95-00316/02
 !class ramification 02-10-03
 !status Amendment 200Y 03-02-18
 !status ARG Approved 8-0-0  03-02-09
@@ -19,32 +19,32 @@
 Consider the following generic:
 
     generic
-        type T10 (<>) is limited private;
-        C10 : in out T10;
+        type T (<>) is limited private;
+        C : in out T;
     package Gen is
 
-        type Nt10 is new T10;
+        type Nt is new T;
 
-        function Input return Nt10;
+        function Input return Nt;
 
     end Gen;
 
     package body Gen is
 
-        function Input return Nt10 is
+        function Input return Nt is
         begin
-            return Nt10 (C10); --Raises Program_Error? (No.)
+            return Nt (C); --Raises Program_Error? (No.)
         end Input;
     end Gen;
 
-    type R10 (D : access Integer) is limited null record;
-    C10 : R10 (new Integer'(19));
+    type R (D : access Integer) is limited null record;
+    C : R (new Integer'(19));
 
-    package Inst is new Gen (T10 => R10,
-                             C10 => C10);
+    package Inst is new Gen (T => R,
+                             C => C);
 
-R10 is an untagged return-by-reference type by 6.5(14); therefore T10 and NT10
-are by untagged return-by-reference types. Nt10(C10) is a value conversion by
+R is an untagged return-by-reference type by 6.5(14); therefore T and Nt
+are untagged return-by-reference types. Nt(C) is a value conversion by
 4.6(5/1). Does 6.5(18) apply to this name? (Yes.) The name does not appear
 to be an "object view". If 6.5(18) does not apply, 6.5(19) does not
 apply either and Program_Error must be raised.