* Spark 9 & Ada 2005
@ 2010-04-08 12:46 Alexandre Konieczny
2010-04-08 15:41 ` Rod Chapman
0 siblings, 1 reply; 4+ messages in thread
From: Alexandre Konieczny @ 2010-04-08 12:46 UTC (permalink / raw)
Hi Everybody,
This problem is intended to people who know Spark.
I'm trying to compile the Spark_IO.adb file using -gnat05 option, but
there is an error.
The error is :
spark_io.adb:196:42: (Ada 2005) cannot copy object of a limited type
(RM-2005 6.5(5.5/2))
This is a restriction of Ada 2005, and I saw in a message of last year
saying that Spark_IO is not compatible with Ada 2005.
Is it still the case ? However, the Spark Pro version 9 considers Ada
2005 features.
Does anyone know about this problem ?
Thanks,
Alex
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Spark 9 & Ada 2005
2010-04-08 12:46 Spark 9 & Ada 2005 Alexandre Konieczny
@ 2010-04-08 15:41 ` Rod Chapman
2010-04-09 7:58 ` Alexandre Konieczny
0 siblings, 1 reply; 4+ messages in thread
From: Rod Chapman @ 2010-04-08 15:41 UTC (permalink / raw)
> Does anyone know about this problem ?
Good question. The specification of SPARK_IO that ships
with SPARK Pro 9 is compatible with both SPARK95
and SPARK2005.
The body is Ada95 (not SPARK at all), but - as you point
out - is not compatible with GNAT in Ada2005 mode. We will
raise an internal ticket here to produce an Ada2005-friendly
body for SPARK_IO for a future release.
Thanks for bringing this to our attention.
Rod Chapman, SPARK Team
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Spark 9 & Ada 2005
2010-04-08 15:41 ` Rod Chapman
@ 2010-04-09 7:58 ` Alexandre Konieczny
2010-04-09 15:16 ` Rod Chapman
0 siblings, 1 reply; 4+ messages in thread
From: Alexandre Konieczny @ 2010-04-09 7:58 UTC (permalink / raw)
On 8 avr, 17:41, Rod Chapman <roderick.chap...@googlemail.com> wrote:
> > Does anyone know about this problem ?
>
> Good question. The specification of SPARK_IO that ships
> with SPARK Pro 9 is compatible with both SPARK95
> and SPARK2005.
>
> The body is Ada95 (not SPARK at all), but - as you point
> out - is not compatible with GNAT in Ada2005 mode. We will
> raise an internal ticket here to produce an Ada2005-friendly
> body for SPARK_IO for a future release.
>
> Thanks for bringing this to our attention.
>
> Rod Chapman, SPARK Team
Well, ok. I better understand now.
As I really need to use Spark_IO with Ada 2005, do you have an idea
of when your team will rewrite the body file ?
Thanks a lot for your help, and I think that it will not be my last
question on Spark because I just begin
a project with the language.
Alexandre Konieczny
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2010-04-09 15:16 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-04-08 12:46 Spark 9 & Ada 2005 Alexandre Konieczny
2010-04-08 15:41 ` Rod Chapman
2010-04-09 7:58 ` Alexandre Konieczny
2010-04-09 15:16 ` Rod Chapman
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox