From: Shark8 <onewingedshark@gmail.com>
Subject: Anyone notice that Ada.Containers.Formal_Ordered_Maps is Pure?
Date: Sun, 11 Feb 2018 21:08:42 -0800 (PST)
Date: 2018-02-11T21:08:42-08:00 [thread overview]
Message-ID: <7ff56c6c-d16c-4eb3-a9d3-6834436b18ce@googlegroups.com> (raw)
While exploring some of the packages AdaCore distributes with GNAT, I noticed that Formal_Ordered_Maps is declared Pure -- which is really nice, considering I wanted to use a map in a Shared_Passive unit -- and it also depends 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 real understanding as of yet.)
reply other threads:[~2018-02-12 5:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox