CVS difference for ais/ai-00064.txt
--- ais/ai-00064.txt 1999/08/31 22:53:54 1.3
+++ ais/ai-00064.txt 1999/09/16 20:40:29 1.4
@@ -1,4 +1,4 @@
-!standard 03.11 (10) 99-08-31 AI95-00064/07
+!standard 03.11 (10) 99-09-13 AI95-00064/07
!standard 03.11.01 (01)
!standard 08.05.04 (08)
!class binding interpretation 95-07-06
@@ -98,12 +98,12 @@
!corrigendum 3.11(10)
@drepl
-@xindent<For a call to a (non-protected) subprogram that has an explicit
+@xbullet<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
+@xbullet<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.>
@@ -120,7 +120,7 @@
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>,
-@fa<entry_body>, or a renaming-as-body (see 8.5.4).
+an @fa<entry_body>, or a renaming-as-body (see 8.5.4).
!corrigendum 8.05.04(8)
Questions? Ask the ACAA Technical Agent