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=0.7 required=5.0 tests=BAYES_00,MSGID_RANDY
	autolearn=no 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 13:20:09 PST
Path: 
 supernews.google.com!sn-xit-02!sn-xit-03!supernews.com!newsfeed.direct.ca!look.ca!newspeer.monmouth.com!feed2.onemain.com!feed1.onemain.com!xfer13.netnews.com!netnews.com!news.maxwell.syr.edu!nntp2.deja.com!nnrp1.deja.com!not-for-mail
From: Robert Dewar <robert_dewar@my-deja.com>
Newsgroups: comp.lang.ada
Subject: Re: exiting a bloc
Date: Tue, 12 Sep 2000 20:14:30 GMT
Organization: Deja.com - Before you buy.
Message-ID: <8pm2qi$bjl$1@nnrp1.deja.com>
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>
 <8pl3qa$ivi$1@trog.dera.gov.uk>
NNTP-Posting-Host: 205.232.38.14
X-Article-Creation-Date: Tue Sep 12 20:14:30 2000 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
X-Http-Proxy: 1.0 x54.deja.com:80 (Squid/1.1.22) for client 205.232.38.14
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:613
Date: 2000-09-12T20:14:30+00:00
List-Id: <comp.lang.ada>

In article <8pl3qa$ivi$1@trog.dera.gov.uk>,
  icaldwell@dera.gov.uk (Ian Caldwell) wrote:
> 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).

It would be convenient (and perhaps avoid confusion) to have
a clear name for that subset :-)


Sent via Deja.com http://www.deja.com/
Before you buy.