comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: "STORAGE_ERROR : s-intman.adb:139 explicit raise" from record containing a queue from Ada.Containers.Bounded_Synchronized_Queues in Gnat Ada 2014
Date: Sun, 1 Mar 2015 04:07:38 -0800 (PST)
Date: 2015-03-01T04:07:38-08:00	[thread overview]
Message-ID: <5ff973bd-49f4-47ae-8af0-d1ca8db5dd34@googlegroups.com> (raw)
In-Reply-To: <85egp9bstu.fsf@stephe-leake.org>

Am Samstag, 28. Februar 2015 22:59:47 UTC+1 schrieb Stephen Leake:
> In type Queue, the discriminant Capacity has a default value, which
> means it is allowed to be changed,

No, I think Queue is limited, so the discriminant cannot be changed.

> in particular to Count_Type'last,
> which is large enough to cause Storage_Error.

  reply	other threads:[~2015-03-01 12:07 UTC|newest]

Thread overview: 5+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2015-02-27 19:26 "STORAGE_ERROR : s-intman.adb:139 explicit raise" from record containing a queue from Ada.Containers.Bounded_Synchronized_Queues in Gnat Ada 2014 jocpaine
2015-02-28 10:08 ` Simon Wright
2015-02-28 21:59 ` Stephen Leake
2015-03-01 12:07   ` AdaMagica [this message]
2015-03-02  8:55 ` Egil H H
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox