Version 1.2 of ais/ai-00078.txt

Unformatted version of ais/ai-00078.txt version 1.2
Other versions for file ais/ai-00078.txt

!standard 10.01.04 (05)          99-07-08 AI95-00078/03
!class confirmation 95-07-27
!status WG9 approved 96-12-07
!status ARG Approved 11-0-0 96-10-07
!status work item 95-07-27
!status received 95-07-27
!priority Low
!difficulty Medium
!subject semantic dependence on illegal or obsolete units
!summary
The implementation shall ensure that all compilation units included in a partition are consistent with one another, and are legal according to the rules of the language. This need not happen at compile time, but must happen before run time.
!question
Must semantic dependence on illegal or obsolete units be checked at compile time? (No.)
RM 10.1.4(6) allows illegal units in the environment. RM 10.1.4(7) allows legal units in the environment that are made obsolete by having a semantic dependency on a removed unit.
However RM 10.1.4(5) apparently doesn't require compile-time checking for these possibilities, requiring "existence in the environment" instead.
!response
Legality Rules must be checked at compile time, by 1.1.2(27). However, consistency and obsolescence may be checked at partition-creation time, which may be after compile time. See 10.2(27).
!ACATS test
Many ACATS L-Tests for section 10 cover these rules.
!appendix

!section 10.01.04(05)
!subject semantic dependence on illegal or obsolete units
!reference RM95-10.01.04(05)
!reference RM95-10.01.04(06)
!reference RM95-10.01.04(07)
!from Dan Eilers 95-07-17
!reference as: 95-5226.a Dan Eilers  95-7-17>>
!discussion

Is semantic dependence on illegal obsolete units intended to be checked
at compile time?

RM 10.1.4(6) allows illegal units in the environment.
RM 10.1.4(7) allows legal units in the environment that are
made obsolete by having a semantic dependency on a removed unit.

However RM 10.1.4(5) apparently doesn't require compile-time checking
for these possibilities, requiring "existence in the environment" instead.

****************************************************************

Questions? Ask the ACAA Technical Agent