CVS difference for ais/ai-00064.txt
--- ais/ai-00064.txt 1999/06/26 01:11:13 1.2
+++ ais/ai-00064.txt 1999/08/31 22:53:54 1.3
@@ -1,4 +1,6 @@
-!standard 03.11 (09) 99-06-25 AI95-00064/07
+!standard 03.11 (10) 99-08-31 AI95-00064/07
+!standard 03.11.01 (01)
+!standard 08.05.04 (08)
!class binding interpretation 95-07-06
!status Corrigendum 2000 99-05-24
!status WG9 approved (8-0-0) 97-07-04
@@ -11,6 +13,7 @@
!reference AI95-00135
!priority High
!difficulty Hard
+!qualifier Omission
!subject Elaboration checks for renamings-as-body
!summary
@@ -92,6 +95,19 @@
See AI95-00135 for a discussion of circularities involving
renamings-as-body.
+!corrigendum 3.11(10)
+
+@drepl
+@xindent<For a call to a (non-protected) subprogram that has an explicit
+body, a check is made that the @fa<subprogram_body> is already
+elaborated. This check and the evaluations of any actual
+parameters of the call are done in an arbitrary order.>
+@dby
+@xindent<For a call to a (non-protected) subprogram that has an explicit
+body, a check is made that the body is already elaborated. This check and
+the evaluations of any actual parameters of the call are done in an
+arbitrary order.>
+
!corrigendum 3.11.01(1)
@drepl
@@ -105,19 +121,6 @@
@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>,
@fa<entry_body>, or a renaming-as-body (see 8.5.4).
-
-!corrigendum 3.11(10)
-
-@drepl
-@xindent<For a call to a (non-protected) subprogram that has an explicit
-body, a check is made that the @fa<subprogram_body> is already
-elaborated. This check and the evaluations of any actual
-parameters of the call are done in an arbitrary order.>
-@dby
-@xindent<For a call to a (non-protected) subprogram that has an explicit
-body, a check is made that the body is already elaborated. This check and
-the evaluations of any actual parameters of the call are done in an
-arbitrary order.>
!corrigendum 8.05.04(8)
Questions? Ask the ACAA Technical Agent