CVS difference for ai05s/ai05-0008-1.txt
--- ai05s/ai05-0008-1.txt 2007/07/26 02:58:04 1.6
+++ ai05s/ai05-0008-1.txt 2007/10/09 19:27:13 1.7
@@ -1,4 +1,4 @@
-!standard 3.3(23) 06-12-13 AI05-0008-1/04
+!standard 3.3(23) 07-10-01 AI05-0008-1/05
!standard 3.10.2(26/2)
!standard 4.1(9)
!standard 6.4.1(17)
@@ -225,7 +225,7 @@
type NT (ND : Integer := 3) is new T (ND);
X : NT;
Y : NT (0);
- end Q
+ end Q;
with Q, Ada.Text_IO;
package body P is
@@ -314,11 +314,11 @@
@drepl
If the type of the @fa<name> in a dereference is some access-to-object type @i<T>,
-then the dereference denotes a view of an object, the nominal subtype of the
+then the dereference denotes a view of an object, the @i<nominal subtype> of the
view being the designated subtype of @i<T>.
@dby
If the type of the @fa<name> in a dereference is some access-to-object type @i<T>,
-then the dereference denotes a view of an object, the nominal subtype of the
+then the dereference denotes a view of an object, the @i<nominal subtype> of the
view being the designated subtype of @i<T>. If the designated subtype has
unconstrained discriminants, the (actual) subtype of the view is constrained
by the values of the discriminants of the designated object, except when
Questions? Ask the ACAA Technical Agent