CVS difference for ai05s/ai05-0106-1.txt
--- ai05s/ai05-0106-1.txt 2008/08/08 05:21:31 1.3
+++ ai05s/ai05-0106-1.txt 2008/10/25 04:53:14 1.4
@@ -36,15 +36,14 @@
-However, the operational and representation aspects of a formal parameter are supposed to
+The operational and representation aspects of a formal parameter are supposed to
come from the actual. It doesn't make sense to specify any of them on a formal parameter
(as opposed to a descendant of a formal parameter).
Most representation items are illegal on a formal type, as they require a first subtype
(and a generic formal type is not a first subtype). However, the pragmas in C.6 have
other requirements. Not all of them disallow formal types (specifically Volatile_Components,
-which could be used on a formal array type or formal derived type that is an array, and
+which could be used on a formal array type or formal derived type that is an array).
One possible fix would be to rewrite the resolution rules in C.6 to exclude formal types.
But this seems tricky and would make the resolution rules more specific than strictly
Questions? Ask the ACAA Technical Agent