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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,7d1a6bfc6489c17b
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2000-09-12 04:25:02 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!xfer13.netnews.com!netnews.com!newsfeeds.belnet.be!news.belnet.be!psinet-eu-nl!psiuk-p4!uknet!diablo.dera.gov.uk!dera!not-for-mail
From: icaldwell@dera.gov.uk (Ian Caldwell)
Newsgroups: comp.lang.ada
Subject: Re: exiting a bloc
Date: 12 Sep 2000 11:24:58 GMT
Organization: DERA
Message-ID: <8pl3qa$ivi$1@trog.dera.gov.uk>
References: <39B15EA8.88DB58AB@netcourrier.com> <8orprn$b46$1@nnrp1.deja.com>
 <39B532CB.73D359F8@ix.netcom.com> <39B5A8B0.56D674C6@telepath.com>
 <39B6114B.2929FA58@amsjv.com> <39B64E94.F081DCAB@telepath.com>
 <8p6bra$g6j$1@nnrp1.deja.com> <PM000370A5FE179FB4@Dogen.ne.mediaone.net>
 <39B72109.89DFAB8C@telepath.com> <PM000370B0EBA888B3@Dogen.ne.mediaone.net>
 <8paf97$ceb$1@trog.dera.gov.uk> <8pc4tc$8j1$1@nnrp1.deja.com>
NNTP-Posting-Host: 146.80.10.48
Mime-Version: 1.0
Content-Type: Text/Plain; charset=US-ASCII
X-Newsreader: WinVN 0.99.9 (Released Version) (x86 32bit)
Xref: supernews.google.com comp.lang.ada:605
Date: 2000-09-12T11:24:58+00:00
List-Id: <comp.lang.ada>

When I used "the SPARK subset of Ada" I meant SPARK without any of its 
annotations. I know that not the full SPARK language.  Maybe I should have used 
the Ada subset of SPARK (meaning the part of SPARK that is Ada).

In article <8pc4tc$8j1$1@nnrp1.deja.com>, robert_dewar@my-deja.com says...
>
>In article <8paf97$ceb$1@trog.dera.gov.uk>,
>  icaldwell@dera.gov.uk (Ian Caldwell) wrote:
>
>> At least one of the Alsys 'SMART' system, that was produced
>for one customer,
>> had the requirment to compile the SPARK subset of Ada. I think
>that all the
>> Alsys 'SMART' system would compile the SPARK subset of Ada.
>
>Right, but talking about the "SPARK subset of Ada" is misleading
>sales talk. SPARK is *not* a subset of Ada. The annotations are
>a fundamental part of the SPARK language.
>
>Yes, there is a language that is defined as SPARK without any
>its annotations, and that is what compilers might well (actually
>most certainly *should*) be able to compile, but this is NOT
>SPARK. The distinction is important, because if you think of
>the SPARK annotations as merely some unimportant documentation,
>you are definitely missing the point :-)
>
>
>Sent via Deja.com http://www.deja.com/
>Before you buy.