From: stt@ada-uts
Subject: Re: Requirement to Implement pragmas?
Date: Wed, 14-May-86 14:11:00 EDT [thread overview]
Date: Wed May 14 14:11:00 1986
Message-ID: <4700029@ada-uts> (raw)
It turns out that most language-defined pragmas have escape
clauses that say an implementation may limit its acceptance
or simply ignore them. Hence, "supported" does not require
much.
Pragma SHARED seems to be an exception to this,
and I suspect that as soon as the ACVC writers can
figure out how to test for it, it will suddenly be
implemented in all of the validated compilers.
Even pragma SHARED has an escape clause, namely that
it MUST be restricted to objects for which reading
and updating is implemented as an indivisible operation.
An implementation may (presumably) always claim
that they don't implement ANY objects with indivisible
operations, and hence finesse the pragma completely.
Hopefully the market-place will eliminate such skulduggery.
next reply other threads:[~1986-05-14 18:11 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
1986-05-14 18:11 stt [this message]
-- strict thread matches above, loose matches on Subject: below --
1986-05-05 20:47 Requirement to Implement pragmas? harbaughs
1986-05-05 20:47 harbaughs
1986-05-05 20:47 harbaughs
1986-05-05 20:47 harbaughs
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox