CVS difference for ais/ai-00192.txt
--- ais/ai-00192.txt 1999/06/22 01:44:37 1.4
+++ ais/ai-00192.txt 1999/07/09 01:48:11 1.5
@@ -1,5 +1,6 @@
-!standard 06.03 (04) 99-06-12 AI95-00192/02
+!standard 06.03 (04) 99-07-08 AI95-00192/03
!class binding interpretation 98-09-10
+!status Corrigendum 2000 99-07-08
!status WG9 approved 99-06-12
!status ARG approved 98-10-08 (7-0-0)
!status work item 98-09-10
@@ -84,6 +85,31 @@
the case of an instance and so should have said "a subprogram that is not
an instance".
+!corrigendum 10.01.04(4)
+
+@drepl
+If a @fa<library_unit_body> that is a @fa<subprogram_body> is submitted to the
+compiler, it is interpreted only as a completion if a
+@fa<library_unit_declaration> for a subprogram or for a generic subprogram
+with the same @fa<defining_program_unit_name> already exists in the
+environment (even if the profile of
+the body is not type conformant with that of the declaration); otherwise the
+@fa<subprogram_body> is interpreted as both the declaration and body of a library
+subprogram.
+@dby
+If a @fa<library_unit_body> that is a @fa<subprogram_body> is submitted to the
+compiler, it is interpreted only as a completion if a
+@fa<library_unit_declaration> for a subprogram other than an instance of
+a generic subprogram or for a generic subprogram with the same
+@fa<defining_program_unit_name> already exists in the environment (even if the
+profile of the body is not type conformant with that of the declaration);
+otherwise the @fa<subprogram_body> is interpreted as both the declaration and
+body of a library subprogram.
+
+!ACATS test
+
+The test prompting the question (CA1020D) was withdrawn. It has been reinstated
+with a new number (CA14028).
!appendix
Questions? Ask the ACAA Technical Agent