CVS difference for ai05s/ai05-0106-1.txt
--- ai05s/ai05-0106-1.txt 2008/07/10 23:55:14 1.2
+++ ai05s/ai05-0106-1.txt 2008/08/08 05:21:31 1.3
@@ -53,7 +53,7 @@
Another approach would be to explicitly disallow representation pragmas from formal
parts. But this feels like an arbitrary rule. And it doesn't really solve the problem,
as the pragmas could still be given in the following package specification (neither the
-formal part nor the package specification necessarily.
+formal part nor the package specification necessarily freeze the formal parameters).
We could also specify that generic formal parameters are always
considered to be frozen. This should be appropriate as their actual parameters will
Questions? Ask the ACAA Technical Agent