CVS difference for 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