CVS difference for ai05s/ai05-0106-1.txt
--- ai05s/ai05-0106-1.txt 2008/12/02 06:01:19 1.5
+++ ai05s/ai05-0106-1.txt 2009/05/31 06:27:20 1.6
@@ -1,4 +1,4 @@
-!standard 13.1(9.1/1) 08-11-20 AI05-0106-1/03
+!standard 13.1(9.1/1) 09-05-30 AI05-0106-1/04
!class binding interpretation 08-06-15
!status Amendment 201Z 08-11-26
!status ARG Approved 6-0-3 08-11-01
@@ -10,8 +10,8 @@
!subject Representation items are not allowed on generic formal parameters
!summary
-Operational and Representation items are not allowed on generic formal parameters
-unless they explicitly are allowed.
+Representation and operational items are not allowed on generic formal parameters
+unless they are explicitly allowed.
!question
@@ -34,7 +34,7 @@
Add after 13.1(9.1/1):
-Unless otherwise specified, an operational or representational item shall not specify
+Unless otherwise specified, an operational or representation item shall not specify
an aspect of a generic formal parameter.
!discussion
@@ -82,13 +82,13 @@
the need to provide generic matching rules.
Note that this rule is a bit broader than is needed to fix the problem of the question.
-We could just fix this for types (in which case modifying the last sentence of
+We could just fix this for types (in which case modifying the last sentence of
13.1(11/2) might be a better approach). But since the intent is that the properties
generally come from the actual parameters, it doesn't make much sense to allow
specifying anything on formal parameters. Do we want address clauses on formal objects
or subprograms? Surely not.
-!corrigendum 13.1(9.1/2)
+!corrigendum 13.1(9.1/1)
@dinsa
An operational item that directly specifies an aspect of a type shall appear before
@@ -96,7 +96,7 @@
specifies an aspect of a type, then it is illegal to give another operational item
that directly specifies the same aspect of the type.
@dinst
-Unless otherwise specified, an operational or representational item shall not specify
+Unless otherwise specified, an operational or representation item shall not specify
an aspect of a generic formal parameter.
Questions? Ask the ACAA Technical Agent