From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Subject: Re: fyi, GNAT and SPARK GPL 2016 are out
Date: Sun, 5 Jun 2016 16:07:07 +0200
Date: 2016-06-05T16:07:07+02:00 [thread overview]
Message-ID: <nj1blk$vn1$2@dont-email.me> (raw)
In-Reply-To: <niv3j5$349$1@dont-email.me>
On 04/06/16 19:36, Jeffrey R. Carter wrote:
> On 06/04/2016 09:13 AM, gautier_niouzes@hotmail.com wrote:
>>
>> In a nutshell, if you are using Ada.Containers.*Maps, and have code like the
>> P_KO procedure below, which is legal Ada 2005 & 2012, the executable will
>> bomb when built with the -gnatp switch.
>
> Apparently other containers as well, such as the example shown by Mosteo for
> indefinite lists, though he's getting Storage_Error.
And I'm not suppressing any checks (but then I think my problem comes by
way of interfaces, I always hit bugs with those, it's my curse).
next prev parent reply other threads:[~2016-06-05 14:07 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-01 13:33 fyi, GNAT and SPARK GPL 2016 are out Nasser M. Abbasi
2016-06-01 22:22 ` daserlang
2016-06-02 12:56 ` mockturtle
2016-06-03 1:56 ` David Botton
2016-06-03 7:16 ` Simon Wright
2016-06-05 8:00 ` ahlan.marriott
2016-06-05 8:42 ` gautier_niouzes
2016-06-05 10:02 ` Simon Wright
2016-06-04 16:13 ` gautier_niouzes
2016-06-04 16:31 ` Georg Bauhaus
2016-06-04 18:35 ` gautier_niouzes
2016-06-04 19:34 ` Simon Wright
2016-06-05 9:38 ` gautier_niouzes
2016-06-05 7:14 ` Randy Brukardt
2016-06-04 17:36 ` Jeffrey R. Carter
2016-06-05 14:07 ` Alejandro R. Mosteo [this message]
2016-06-05 18:02 ` Jeffrey R. Carter
2016-06-05 7:12 ` Randy Brukardt
2016-06-04 21:15 ` ogpual
2016-06-04 21:49 ` Simon Wright
2016-06-04 23:02 ` ogpual
2016-06-05 17:57 ` Hadrien Grasland
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox