CVS difference for ai12s/ai12-0105-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0105-1.txt

--- ai12s/ai12-0105-1.txt	2014/05/13 22:59:24	1.1
+++ ai12s/ai12-0105-1.txt	2014/07/24 02:23:17	1.2
@@ -1,5 +1,7 @@
-!standard 13.1.1(18/3)                                    14-05-13  AI05-0105-1/01
+!standard 13.1.1(18/3)                                    14-07-23  AI05-0105-1/02
 !class binding interpretation 14-05-13
+!status Corrigendum 2015 14-07-23
+!status ARG Approved 78-0-0  14-06-28
 !status work item 14-05-13
 !status received 14-04-25
 !priority Low
@@ -33,14 +35,14 @@
 Modify 13.1.1(18/3):
 
 A language-defined aspect shall not be specified in an aspect_specification
-given on a {subprogram body or stub}[subprogram_body or subprogram_body_stub]
-that is a completion of another declaration.
+given on a [subprogram_body or subprogram_body_stub that is a] completion of
+{a subprogram or generic subprogram}[another declaration].
 
 !discussion
 
-While an expression_function that is not a completion is not a subprogram_body
+While an expression_function that is a completion is not a subprogram_body
 (syntax font), it is a body (regular font) and it surely is a subprogram
-regular font). So we redo the wording to use semantic terms. The alternative
+(regular font). So we redo the wording to use semantic terms. The alternative
 of listing each of the kinds of declaration would get wordy and would
 potentially pose a future maintenance hazard (should any additional kinds of
 body get defined).
@@ -53,7 +55,7 @@
 of another declaration.
 @dby
 A language-defined aspect shall not be specified in an @fa<aspect_specification>
-given on a subprogram body or stub.
+given on a completion of a subprogram or generic subprogram.
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent