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 10.36.29.148 with SMTP id 142mr3381622itj.10.1518412123274; Sun, 11 Feb 2018 21:08:43 -0800 (PST) X-Received: by 10.157.63.152 with SMTP id r24mr395587otc.0.1518412123130; Sun, 11 Feb 2018 21:08:43 -0800 (PST) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer03.am4!peer.am4.highwinds-media.com!peer03.iad!feed-me.highwinds-media.com!news.highwinds-media.com!o66no846719ita.0!news-out.google.com!m16ni1781itm.0!nntp.google.com!o66no846718ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sun, 11 Feb 2018 21:08:42 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=76.113.16.86; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 76.113.16.86 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <7ff56c6c-d16c-4eb3-a9d3-6834436b18ce@googlegroups.com> Subject: Anyone notice that Ada.Containers.Formal_Ordered_Maps is Pure? From: Shark8 Injection-Date: Mon, 12 Feb 2018 05:08:43 +0000 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 1485 X-Received-Body-CRC: 4106487106 Xref: reader02.eternal-september.org comp.lang.ada:50382 Date: 2018-02-11T21:08:42-08:00 List-Id: While exploring some of the packages AdaCore distributes with GNAT, I notic= ed that Formal_Ordered_Maps is declared Pure -- which is really nice, consi= dering I wanted to use a map in a Shared_Passive unit -- and it also depend= s on a Pure implementation for Red/Black Trees. I thought it was really interesting and worth sharing. (I'm also trying to understand HOW they did it, but not getting too much re= al understanding as of yet.)