CVS difference for ai12s/ai12-0036-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0036-1.txt

--- ai12s/ai12-0036-1.txt	2013/12/07 05:41:41	1.2
+++ ai12s/ai12-0036-1.txt	2014/05/08 21:40:50	1.3
@@ -1,4 +1,4 @@
-!standard 12.5.1(5.1/3)                                   13-12-06    AI12-0036-1/02
+!standard 12.5.1(5.1/3)                                   14-05-08    AI12-0036-1/03
 !class binding interpretation 12-11-29
 !status Corrigendum 2014 13-12-06
 !status ARG Approved 9-0-2  13-11-16
@@ -48,7 +48,8 @@
 Nothing in the Standard makes this illegal. But the conversions (A) and (B)
 clearly cannot be allowed, as they would leave the extension components
 uninitialized. Indeed, such conversions would be illegal if type T1 was
-a tagged private type (and the other types were type extensions).
+a tagged private type (and the other types were type extensions). (Conversions
+like (C) are not a problem for this case.)
 
 Some rule has to make this illegal, right? (Yes.)
 
@@ -102,7 +103,7 @@
        package Inner_Generic is ... 
     end Pack1;
 
-or
+or:
     
     generic
        type T1 is private;

Questions? Ask the ACAA Technical Agent