Re: exiting a bloc

[Ed Falis <efalis@mediaone.net>]

I suspect Ted meant SPARC.  I never saw one for SPARK while I was there.

- Ed

Robert Dewar wrote:
> 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.