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

--- ai05s/ai05-0229-1.txt	2012/01/05 06:19:33	1.25
+++ ai05s/ai05-0229-1.txt	2012/01/27 23:23:11	1.26
@@ -3168,9 +3168,27 @@
 Automatic elaboration of preelaborated packages should be provided
 when specifying Export as True is supported.
 
-!comment %% B.1(41), B.1(42), B.1(43), B.1(44), B.1(45), B.1(46), B.1(48), and B.1(51) need changes here.
+!comment %% B.1(41), B.1(42), B.1(43), B.1(44), B.1(45), B.1(46), and B.1(48) need changes here.
 
+!corrigendum B.1(51)
 
+@drepl
+@xcode<@b<package> Fortran_Library @b<is>
+  @b<function> Sqrt (X : Float) @b<return> Float;
+  @b<function> Exp  (X : Float) @b<return> Float;
+@b<private>
+  @b<pragma> Import(Fortran, Sqrt);
+  @b<pragma> Import(Fortran, Exp);
+@b<end> Fortran_Library;>
+@dby
+@xcode<package> Fortran_Library @b<is>
+  @b<function> Sqrt (X : Float) @b<return> Float
+     @b<with> Import => True, Convention => Fortran;
+  @b<function> Exp  (X : Float) @b<return> Float
+     @b<with> Import => True, Convention => Fortran;
+@b<end> Fortran_Library;>
+
+
 !corrigendum B.2(10.1/2)
 
 @drepl
@@ -3286,8 +3304,19 @@
 Pragma Unchecked_Union
 @dby
 Unchecked Union Types
+
+!corrigendum B.3.3(1/2)
+
+@drepl
+A pragma Unchecked_Union specifies an interface correspondence between a given discriminated type and
+some C union. The pragma specifies that the associated type shall be given a representation that
+leaves no space for its discriminant(s).
+@dby
+Specifying aspect Unchecked_Union to have the value True defines an interface correspondence
+between a given discriminated type and some C union. The aspect requires that the associated type shall
+be given a representation that leaves no space for its discriminant(s).
 
-!comment %% B.3.3(1/2), B.3.3(2/2), B.3.3(3/2), B.3.3(4/2), B.3.3(5/2), and B.3.3(6/2) need changes here.
+!comment %% B.3.3(2/2), B.3.3(3/2), B.3.3(4/2), B.3.3(5/2), and B.3.3(6/2) need changes here.
 
 !corrigendum B.3.3(29/2)
 
@@ -3845,7 +3874,7 @@
 If aspect Asynchronous is specified for a remote access type, the type shall be
 a remote access-to-class-wide type, or the type shall be a remote
 access-to-procedure type with the formal parameters of the designated profile of
-the type all of mode @i<in>.
+the type all of mode @b<in>.
 
 !corrigendum E.4.1(9)
 
@@ -4055,7 +4084,7 @@
 
 @xcode<@ft<@b<pragma> Convention ([Convention =@>] @i<convention_>@fa<identifier>,[Entity =@>] @fa<local_name>);>>
 
-For pragmas Import and Export, the argument for Link_Name shall not be given without
+For @fa<pragma>s Import and Export, the argument for Link_Name shall not be given without
 the @i<pragma_argument_>@fa<identifier> unless the argument for External_Name is given.
 
 @s8<@i<Name Resolution Rules>>