CVS difference for ai05s/ai05-0082-1.txt
--- ai05s/ai05-0082-1.txt 2008/03/07 06:15:19 1.2
+++ ai05s/ai05-0082-1.txt 2008/05/10 05:14:33 1.3
@@ -1,4 +1,4 @@
-!standard 3.10.2(19/2) 08-02-22 AI05-0082-1/02
+!standard 3.10.2(19/2) 08-04-18 AI05-0082-1/03
!class binding interpretation 08-01-16
!status ARG Approved 6-0-3 08-02-10
@@ -11,7 +11,7 @@
-Static accessibility checks are not made on type derived from generic formal types.
+Static accessibility checks are not made on types derived from generic formal types.
@@ -92,7 +92,7 @@
The rules currently say that the static accessibility level of a generic formal type
is that of the generic. But the effect of that is to prevent doing things in the generic
which will work perfectly well in instances (presuming that they are instantiated
-with an actual type that have the right level). Moreover, this is an incompatibility
+with an actual type that has the right level). Moreover, this is an incompatibility
with Ada 95, and one that would be hard to work around - the only fix is to eliminate
the nesting of the generic. (One has to presume that the user has a reason, such
as accessing up-level entities, for nesting the generic.)
@@ -104,7 +104,7 @@
any checks skipped in the body will be checked at runtime.
The statically deeper relationship does not apply to the accessibility
Questions? Ask the ACAA Technical Agent