From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 2002:a24:3a83:: with SMTP id
 m125-v6mr654972itm.36.1535457978819;
        Tue, 28 Aug 2018 05:06:18 -0700 (PDT)
X-Received: by 2002:aca:5557:: with SMTP id j84-v6mr35077oib.3.1535457978451;
 Tue, 28 Aug 2018 05:06:18 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!feeder4.usenet.farm!feed.usenet.farm!weretis.net!feeder6.news.weretis.net!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!w19-v6no549022itb.0!news-out.google.com!z5-v6ni354ite.0!nntp.google.com!g24-v6no561110iti.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 28 Aug 2018 05:06:18 -0700 (PDT)
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a01:c50e:ac00:b900:f162:e11f:6e2c:e8d7;
 posting-account=C8J7NQoAAAD_ybGY7--QIRi6KpLjoH1Z
NNTP-Posting-Host: 2a01:c50e:ac00:b900:f162:e11f:6e2c:e8d7
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <eec01618-ee08-4f7e-be3d-cb16ef2beb4b@googlegroups.com>
Subject: Where to find Ravenscar compatible ADT Containers (List, Vector,
 stack)
From: Daniel Norber <danielnorberto@gmail.com>
Injection-Date: Tue, 28 Aug 2018 12:06:18 +0000
Content-Type: text/plain; charset="UTF-8"
Xref: reader02.eternal-september.org comp.lang.ada:54279
Date: 2018-08-28T05:06:18-07:00
List-Id: <comp.lang.ada>


The standard ADA.Containers library is not prepared for Ravenscar use.
Even bounded versions, like Bounded_double_Linked_List have several violations of Ravenscar, like Implicit_Heap_Allocation when i try to instantiate it, and bind it.


I've Found ADA95 booch ADT, but is not ready for the new ADA2012 aspects that let you write something like this:

for E of List loop
  E:= E + 1;
  --E is a reference. That increases performance with big structures.
end loop;

Someone know a modern ADA2012 third party ADT that compliances Ravenscar?.
Seems like ADA forgot Ravenscar users when they released 2005 containers.