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=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!nntp-feed.chiark.greenend.org.uk!ewrotcd!reality.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: Ada features supported by SPARK 2014
Date: Wed, 07 Dec 2016 19:09:07 +0100
Organization: JSA Research & Innovation
Message-ID: <87y3zrwr0c.fsf@adaheads.sparre-andersen.dk>
References: <c1a607a7-dce1-47a2-b4e5-7eba44ad4647@googlegroups.com>
	<dc507cef-4532-4a1d-a991-7061a360fb55@googlegroups.com>
NNTP-Posting-Host: 109.56.44.167.mobile.3.dk
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: franka.jacob-sparre.dk 1481134135 26067 109.56.44.167 (7 Dec 2016
 18:08:55 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Wed, 7 Dec 2016 18:08:55 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:bSSex4wwEffDAn56YdL5EojgIt8=
Xref: news.eternal-september.org comp.lang.ada:32656
Date: 2016-12-07T19:09:07+01:00
List-Id: <comp.lang.ada>

Shark8 <onewingedshark@gmail.com> writes:

> One of the nice things is that SPARK 2014 is a true subset of Ada 2012

This is unfortunately wrong.

An Ada 2012 compiler, which doesn't know SPARK 2014 has to reject
practically any SPARK 2014 program, as Ada 2012 compilers aren't allowed
to ignore unknown aspects.

Greetings,

Jacob
-- 
"Computer language design is just like a stroll in the park.
 Jurassic Park, that is."                             -- Larry Wall