From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Subject: Re: Ada features supported by SPARK 2014
Date: Wed, 07 Dec 2016 19:09:07 +0100
Date: 2016-12-07T19:09:07+01:00 [thread overview]
Message-ID: <87y3zrwr0c.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: dc507cef-4532-4a1d-a991-7061a360fb55@googlegroups.com
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
next prev parent reply other threads:[~2016-12-07 18:09 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-12-05 20:36 Ada features supported by SPARK 2014 pault.eg
2016-12-05 21:10 ` Shark8
2016-12-07 18:09 ` Jacob Sparre Andersen [this message]
2016-12-05 21:48 ` G.B.
2016-12-05 22:19 ` Daniel King
2016-12-05 22:01 ` Daniel King
2016-12-06 9:17 ` Simon Wright
2016-12-06 13:26 ` Daniel King
2016-12-09 8:24 ` Robert Eachus
2016-12-09 17:21 ` Adam Jensen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox