Static Semantics
- (1)
- The following language-defined library package exists:
(2)
package Ada is
pragma Pure(Ada);
end Ada;
- (3)
- Ada serves as the parent of most of the other language-defined library
units; its declaration is empty (except for the pragma Pure).
Legality Rules
- (4)
- In the standard mode, it is illegal to compile a child of package Ada.
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Copyright statement
Page last generated: 95-03-12