* entries as generic actuals
@ 1986-07-09 13:06 "Pat Rogers, High Tech Lab"
0 siblings, 0 replies; only message in thread
From: "Pat Rogers, High Tech Lab" @ 1986-07-09 13:06 UTC (permalink / raw)
The question about the legality of passing an entry as the actual
to a generic formal subprogram parameter is easy enough: see RM 12.3/4,
and a couple of other places too.
Here's one for you : why is it legal to declare an entry in a task
declaration, and then not give a corresponding accept ? You have to give
supbprogram bodies for subprograms declared in the visible part of
a package, so why not for tasks ? Who cares, you ask ? If you call such
an entry, it will suspend indefinitely. I can find no references to this
in the LRM. Anybody know where one is if I'm wrong, or what the rationale
is if I'm right ? (For what it's worth (apologies, etc), the DEC compiler
took it without objecting...)
Thanks !
Pat Rogers
PRogers@Ada20.isi.edu
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1986-07-09 13:06 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1986-07-09 13:06 entries as generic actuals "Pat Rogers, High Tech Lab"
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox