CVS difference for ais/ai-00192.txt

Differences between 1.4 and version 1.5
Log of other versions for file 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