From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,1742659b6aa943fb
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
From: "Martin Dowie" <martin.dowie@baesystems.com>
Newsgroups: comp.lang.ada
References: <1132913111.023558.255590@g14g2000cwa.googlegroups.com>
   <4386eb3d$1_1@glkas0286.greenlnk.net>
 <1133019090.480779.116750@f14g2000cwb.googlegroups.com>
 <dma971$fvc$1@nwrdmz01.dmz.ncs.ea.ibs-infra.bt.com>
 <UYKdnaw7cZCJWBbeRVn-iA@megapath.net>
Subject: Re: Tasking and wxWidgets
Date: Tue, 29 Nov 2005 09:13:33 -0000
Organization: BAE SYSTEMS
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1506
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1506
Message-ID: <438c19c5_1@glkas0286.greenlnk.net>
X-Original-NNTP-Posting-Host: glkas0286.greenlnk.net
NNTP-Posting-Date: 29 Nov 2005 09:14:55 GMT
NNTP-Posting-Host: 20.133.0.1
X-Trace: 1133255695 news.gradwell.net 20531 dnews/20.133.0.1
X-Complaints-To: news-abuse@gradwell.net
Path: 
 g2news1.google.com!news4.google.com!news.glorb.com!news.amigo.co.uk!news-peer-lilac.gradwell.net!not-for-mail
Xref: g2news1.google.com comp.lang.ada:6663
Date: 2005-11-29T09:14:55+00:00
List-Id: <comp.lang.ada>

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