* Anyone notice that Ada.Containers.Formal_Ordered_Maps is Pure?
@ 2018-02-12 5:08 Shark8
0 siblings, 0 replies; only message in thread
From: Shark8 @ 2018-02-12 5:08 UTC (permalink / 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.)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2018-02-12 5:08 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-02-12 5:08 Anyone notice that Ada.Containers.Formal_Ordered_Maps is Pure? Shark8
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox