From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: What is SPARK about?
Date: Sat, 12 Jun 2010 01:17:39 +0200
Date: 2010-06-12T01:17:39+02:00 [thread overview]
Message-ID: <op.vd5sbpidule2fv@garhos> (raw)
In-Reply-To: m2ocfhxjfk.fsf@pushface.org
Le Sat, 12 Jun 2010 01:01:51 +0200, Simon Wright <simon@pushface.org> a
écrit:
> As an example, I'm pretty sure SPARK doesn't handle generics; so that
> rules out the Container library.
I did not tried it yet, so I will not any about the present state (I’ve
just noticed it support the syntax). What is sure, is that support (or
better support) for generic is planed for the futur... and is already
present in SPARK Pro (if I'm not wrong).
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
next prev parent reply other threads:[~2010-06-11 23:17 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-11 20:32 What is SPARK about? Claude
2010-06-11 23:01 ` Simon Wright
2010-06-11 23:17 ` Yannick Duchêne (Hibou57) [this message]
2010-06-12 12:16 ` Peter C. Chapin
2010-06-12 8:30 ` Phil Thornley
2010-06-12 18:09 ` Claude
2010-06-12 19:27 ` Yannick Duchêne (Hibou57)
2010-06-17 5:38 ` Claude
2010-06-13 5:37 ` J-P. Rosen
2010-06-13 8:11 ` Simon Wright
2010-06-13 13:20 ` Robert A Duff
2010-06-17 2:10 ` Claude
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox