From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: Re: Spark 9 & Ada 2005
Date: Thu, 8 Apr 2010 08:41:53 -0700 (PDT)
Date: 2010-04-08T08:41:53-07:00 [thread overview]
Message-ID: <8fcf2fc0-7bf5-404b-9cd4-cd5d73213562@x3g2000yqd.googlegroups.com> (raw)
In-Reply-To: 8fa26bb5-ed35-49f7-a4d4-f064c070838f@j21g2000yqh.googlegroups.com
> 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
next prev parent reply other threads:[~2010-04-08 15:41 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-04-08 12:46 Spark 9 & Ada 2005 Alexandre Konieczny
2010-04-08 15:41 ` Rod Chapman [this message]
2010-04-09 7:58 ` Alexandre Konieczny
2010-04-09 15:16 ` Rod Chapman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox