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

Differences between 1.2 and version 1.3
Log of other versions for file 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