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-06 14:20:44 PST
Path: 
 supernews.google.com!sn-xit-02!sn-east!sn-xit-uk!supernews.com!195.86.7.162.MISMATCH!newsfeed.wirehub.nl!newsfeed.esat.net!diablo.theplanet.net!newsfeed.skycache.com!Cidera!xfer10.netnews.com!netnews.com!newspeer1.nac.net!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: Wed, 06 Sep 2000 21:10:21 GMT
Organization: Deja.com - Before you buy.
Message-ID: <8p6bra$g6j$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>
NNTP-Posting-Host: 205.232.38.240
X-Article-Creation-Date: Wed Sep 06 21:10:21 2000 GMT
X-Http-User-Agent: Mozilla/4.61 [en] (OS/2; I)
X-Http-Proxy: 1.0 x56.deja.com:80 (Squid/1.1.22) for client 205.232.38.240
X-MyDeja-Info: XMYDJUIDrobert_dewar
Xref: supernews.google.com comp.lang.ada:531
Date: 2000-09-06T21:10:21+00:00
List-Id: <comp.lang.ada>

In article <39B64E94.F081DCAB@telepath.com>,
  Ted Dennison <dennison@telepath.com> wrote:
> (like one I wrote for a embedded device using Alsys's SPARK
compiler :-).

That's the first I have heard of Alsys having a compiler for
SPARK, are you sure you mean what you say here? Remember that
SPARK is not just an Ada subset, it is a superset of a subset,
since the assertions are a critical part of the syntax and
semantics of SPARK, and I do not know of any compiler outside
Praxis that compiles this language currently.

I mention this, because I often find that people think of
SPARK, quite incorrectly, as simply an Ada subset.


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