Re: exiting a bloc

[Ed Falis <efalis@mediaone.net>]

Ah, now it becomes clear.  That was the old "SMART" (Small Ada Run-Time)
that was packaged as an option with 68K and X86 targeted
cross-compilers.  The analogy to SPARK may have come up because it was
used as the basis of a safety certification package that could be
incorporated into customers' materials.

- Ed

Ted Dennison wrote:
> Ed Falis wrote:
>
>> I suspect Ted meant SPARC.  I never saw one for SPARK while I was
> there.

> I suppose confusion on that point is a disticnt possibility, as it was
> over
> 10 years ago,  and it happened to be hosted on a SPARC box (targeted
> to a
> Motorolla 68020). I went looking for info on the compiler, but it
> apparently
> no longer exists. There isn't even any info in the 83 validation list
> on it.
> But I guess that shouldn't suprise me, since it was a subset of Ada.
>
> But I do distictly remember the topic comming up with Thompson in
> relation
> to the compiler's feature set. Perhaps what I'm remembering was some
> Thompson sales guy comparing it to SPARK (aka: lying). Or perhaps I'm
> just
> hallucinating. :-)
>
> I went looking for some SPARK info on the web, and I can tell right
> away
> that the compiler I used had more Ada features than SPARK seems to.
> For
> instance, it *did* have acces types, just no allocator or
> Unchecked_Deallocation. It didn't have tasking. But I don't remember
> it
> having anything like SPARK's "Mandatory Annotations".
>
> --
> T.E.D.
>
> Home - mailto:dennison@telepath.com  Work -
> mailto:dennison@ssd.fsi.com
> WWW  - http://www.telepath.com/dennison/Ted/TED.html  ICQ  - 10545591
>
>