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

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