From: mfb@mbunix.mitre.org (Michael F Brenner)
Subject: Remote Types packages in distributed systems
Date: 1998/07/17
Date: 1998-07-17T00:00:00+00:00 [thread overview]
Message-ID: <6ooaao$f9d@top.mitre.org> (raw)
There are two contradictory statements in Appendix E of the Ada
Language Reference Manual pertaining to remote-types. Which one
takes precedence?
E.2(9) Remote Types. The declaration of the library unit can depend
only on other remote types library units, or [a shared passive or a pure
unit]; the body of the library unit is unrestricted; ...
E.2.2(4) A remote types library unit is a library unit to which
the pragma Remote_Types applies. The following restrictions
apply to the declaration of such a library unit:
it shall be preelaborable; ...
It cannot have a preelaborable declaration if its body is unrestricted
and can import a non-preelaborable unit.
Which of these two contradictory statements shall rule?
Mike Brenner
next reply other threads:[~1998-07-17 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-17 0:00 Michael F Brenner [this message]
1998-07-17 0:00 ` Remote Types packages in distributed systems Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox