comp.lang.ada
 help / color / mirror / Atom feed
From: "Martin Dowie" <martin.dowie@baesystems.com>
Subject: Re: Tasking and wxWidgets
Date: Tue, 29 Nov 2005 09:13:33 -0000
Date: 2005-11-29T09:14:55+00:00	[thread overview]
Message-ID: <438c19c5_1@glkas0286.greenlnk.net> (raw)
In-Reply-To: UYKdnaw7cZCJWBbeRVn-iA@megapath.net

Randy Brukardt wrote:
> "Martin Dowie" <martin.dowie@btopenworld.com> wrote in message
> news:dma971$fvc$1@nwrdmz01.dmz.ncs.ea.ibs-infra.bt.com...
>> You won't need a preprocessor (although GNAT does have one
>> 'gnatprep') - same spec, different bodies.
>>
>> -- Spec
>> procedure Foo;
>>
>> -- Body
>> procedure Foo is null;
>
> While it's not germane to Martin's point, this code is illegal in Ada
> 200Y: a null procedure cannot be a completion. Why not? Null
> procedures are similar to abstract subprograms in use and
> description, and those clearly can't be a completion. And it didn't
> seem worth a new bunch of rules to avoid typing 12 characters - the
> least important savings that one could imagine.

So we're stuck with "procedure Foo is begin null; end;" and a "pragma
Inline"?

To me a null completion would be _very_ useful where you have different
package bodies for different targets but want to share a common package
spec.

Cheers

-- Martin





  reply	other threads:[~2005-11-29  9:13 UTC|newest]

Thread overview: 19+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-11-25 10:05 Tasking and wxWidgets Lucretia
2005-11-25 10:53 ` Martin Dowie
2005-11-26 17:32   ` Lucretia
2005-11-26 18:23     ` Martin Dowie
2005-11-29  3:07       ` Randy Brukardt
2005-11-29  9:13         ` Martin Dowie [this message]
2005-11-29 21:46           ` Randy Brukardt
2005-11-29 22:46             ` Martin Dowie
2005-11-25 11:37 ` Dmitry A. Kazakov
2005-11-26 17:26   ` Lucretia
2005-11-27 11:15     ` Dmitry A. Kazakov
2005-11-28 10:48       ` Lucretia
2005-11-28 14:41         ` Dmitry A. Kazakov
2005-11-26 17:26   ` Lucretia
2005-11-26 17:28   ` Lucretia
2005-11-26 17:34   ` Lucretia
2005-11-26  7:46 ` Simon Wright
2005-11-28 10:37   ` Lucretia
2005-11-29 21:38     ` Simon Wright
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox