From: "Peter C. Chapin" <pcc482719@gmail.com>
Subject: Re: What is SPARK about?
Date: Sat, 12 Jun 2010 08:16:24 -0400
Date: 2010-06-12T08:16:24-04:00 [thread overview]
Message-ID: <4c1379e1$0$2388$4d3efbfe@news.sover.net> (raw)
In-Reply-To: op.vd5sbpidule2fv@garhos
Yannick Duchêne (Hibou57) wrote:
> 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).
Aside from one special case, generics are not yet in SPARK Pro. I understand
that some (reasonable) level of support for generics is planned for a future
release, however.
Disclaimer: I'm not an Altran Praxis employee. I only know what I've heard
elsewhere.
Peter
next prev parent reply other threads:[~2010-06-12 12:16 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)
2010-06-12 12:16 ` Peter C. Chapin [this message]
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