CVS difference for ais/ai-00002.txt
--- ais/ai-00002.txt 1998/09/30 00:17:06 1.1
+++ ais/ai-00002.txt 1999/06/26 01:11:13 1.2
@@ -1,29 +1,31 @@
-!standard 10.02.01 (11) 96-02-06 AI95-00002/02
+!standard 10.02.01 (11) 99-06-24 AI95-00002/03
!class binding interpretation 95-06-25
+!status Corrigendum 2000 99-05-24
!status WG9 approved 95-06-14
!status ARG approved (subject to editorial review) 9-0-2 95-11-01
!status received 95-06-25
!subject Subunits of a preelaborated subprogram
A package subunit whose parent is a preelaborated subprogram need not be
10.2.1(11) says, "All compilation units of a preelaborated library unit
shall be preelaborable." The term "all compilation units" includes
subunits. Is this really intended? (No.)
A package subunit of a preelaborated subprogram need not be preelaborable.
It is unnecessary to require a subunit of a preelaborated subprogram to
be preelaborable, because such a subunit is not elaborated during
@@ -43,7 +45,20 @@
Note that the rule is irrelevant for subunits that are subprograms,
since subprograms are always preelaborable.
+All compilation units of a preelaborated library unit shall be preelaborable.
+All compilation units of a preelaborated library unit other than subunits
+of preelaborated subprogram units shall be preelaborable.
+A test is needed. There ought to be a C-Test such that a subunit of a
+preelaborated subprogram does not need to be preelaborable.
!subject Compilation units "of" a library unit
Questions? Ask the ACAA Technical Agent