Re: exiting a bloc

[Robert Dewar <robert_dewar@my-deja.com>]

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.