CVS difference for ais/ai-00216.txt

Differences between 1.20 and version 1.21
Log of other versions for file ais/ai-00216.txt

--- ais/ai-00216.txt	2005/04/13 05:36:56	1.20
+++ ais/ai-00216.txt	2005/10/31 05:18:10	1.21
@@ -1,4 +1,4 @@
-!standard B.03.03      (00)                         05-02-28  AI95-00216/16
+!standard B.03.03      (00)                         05-09-28  AI95-00216/17
 !standard B.03         (60.2)
 !standard B.03         (74)
 !class amendment 99-03-23
@@ -376,7 +376,7 @@
 Unchecked_Union is a representation pragma, specifying the unchecked
 union aspect of representation.
 
-The @i<first_subtype_local_>@fa<name> of a @fa<pragma> Unchecked_Union shall
+The @i<first_subtype_>@fa<local_name> of a @fa<pragma> Unchecked_Union shall
 denote an unconstrained discriminated record subtype having a @fa<variant_part>.
 
 A type to which a pragma Unchecked_Union applies is called an
@@ -476,7 +476,7 @@
 Execution of the following example is erroneous even if
 Float'Size = Integer'Size:>>
 
-@xcode<@s9<    @b<type> T (Flag : Boolean := False) @b<is>
+@s9<@xcode<@s9<    @b<type> T (Flag : Boolean := False) @b<is>
        @b<record>
            @b<case> Flag @b<is>
                @b<when> False =@>
@@ -488,7 +488,7 @@
     @b<pragma> Unchecked_Union (T);
 
     X : T;
-    Y : Integer := X.F2; -- @i<erroneous>>>
+    Y : Integer := X.F2; -- @i<erroneous>>>>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent