From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Where to find Ravenscar compatible ADT Containers (List, Vector, stack)
Date: Thu, 30 Aug 2018 05:14:57 -0700 (PDT)
Date: 2018-08-30T05:14:57-07:00 [thread overview]
Message-ID: <42cc6f60-202f-4274-9804-b571a05ceea1@googlegroups.com> (raw)
In-Reply-To: <69e04c61-8ea3-40e2-bb9d-e5a128247df3@googlegroups.com>
Am Donnerstag, 30. August 2018 02:21:54 UTC+2 schrieb Jere:
> I have a question about this as it has always bothered me. The
> section that specifies that is under Implementation Advice, which
> doesn't sound binding. That sounds more like it is a suggestion
> to the vendor rather than a requirement. Is Implementation
> Advice such that a conforming Ada compiler must follow it
> (so not really advice at that point)? I've intentionally avoided
> bounded containers in situations where I want portability for
> some of my embedded targets that don't use heap because it
> doesn't sound guaranteed that it will not use heap, even
> if my current compiler implements it that way now.
See AARM 1.1.2 for the structure of the RM, especially (37,37.a-d) for Implementation Advice.
next prev parent reply other threads:[~2018-08-30 12:14 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-08-28 12:06 Where to find Ravenscar compatible ADT Containers (List, Vector, stack) Daniel Norber
2018-08-28 14:48 ` Shark8
2018-09-03 9:39 ` Daniel Norber
2018-08-28 15:03 ` Simon Wright
2018-09-03 9:42 ` Daniel Norber
2018-08-29 0:24 ` Randy Brukardt
2018-08-30 0:21 ` Jere
2018-08-30 7:13 ` Jeffrey R. Carter
2018-08-30 12:14 ` AdaMagica [this message]
2018-08-30 23:40 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox