CVS difference for ais/ai-00064.txt
--- ais/ai-00064.txt 1999/09/24 03:27:04 1.5
+++ ais/ai-00064.txt 1999/10/08 23:41:05 1.6
@@ -1,4 +1,4 @@
-!standard 03.11 (10) 99-09-13 AI95-00064/07
+!standard 03.11 (10) 99-10-07 AI95-00064/08
!standard 03.11.01 (01)
!standard 08.05.04 (08)
!class binding interpretation 95-07-06
@@ -114,12 +114,12 @@
Declarations sometimes come in two parts. A declaration that requires a
second part is said to @i<require completion>. The second part is called the
@i<completion> of the declaration (and of the entity declared), and is
-either another declaration, a body, or a pragma.
+either another declaration, a body, or a @fa<pragma>.
@dby
Declarations sometimes come in two parts. A declaration that requires a
second part is said to @i<require completion>. The second part is called the
@i<completion> of the declaration (and of the entity declared), and is
-either another declaration, a body, or a pragma. A @i<body> is a @fa<body>,
+either another declaration, a body, or a @fa<pragma>. A @i<body> is a @fa<body>,
an @fa<entry_body>, or a renaming-as-body (see 8.5.4).
!corrigendum 8.05.04(8)
@@ -133,8 +133,9 @@
@dinst
For a call to a subprogram whose body is given as a renaming-as-body, the
execution of the renaming-as-body is equivalent to the execution of a
-subprogram_body that simply calls the renamed subprogram with the same
-parameters.
+@fa<subprogram_body> that simply calls the renamed subprogram with its formal
+parameters as the actual parameters and, if a function, returns the value of
+the call.
!ACATS test
Questions? Ask the ACAA Technical Agent