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=ham autolearn_force=no version=3.4.4 X-Google-Thread: a07f3367d7,3a6337228af80b02,start X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit X-Received: by 10.236.69.101 with SMTP id m65mr11011303yhd.27.1360800727046; Wed, 13 Feb 2013 16:12:07 -0800 (PST) X-Received: by 10.182.189.36 with SMTP id gf4mr24421obc.34.1360800726787; Wed, 13 Feb 2013 16:12:06 -0800 (PST) Path: k2ni32220qap.0!nntp.google.com!p13no15341017qai.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 13 Feb 2013 16:12:06 -0800 (PST) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=69.153.68.213; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 69.153.68.213 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <8fe47d10-1889-43e7-be85-510ece95c1a6@googlegroups.com> Subject: Question: What's the difference between pools of pools and Ada 2012's new subpools? From: Shark8 Injection-Date: Thu, 14 Feb 2013 00:12:06 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2013-02-13T16:12:06-08:00 List-Id: I recently asked this question on Stackoverflow ( http://stackoverflow.com/questions/14840702/what-are-the-differerences-between-the-new-ada-sub-pool-features-and-pools-of-po ). I haven't used pools at all, yet; so it's quite likely I'm missing something. ------- -- Pool of Pools ---------------------------------- -- Minnesota: Land of 10,000 Lakes type Minnesota(Size: Storage_Count) is new Root_Storage_Pool with private; type Lake(Size: Storage_Count) is new Root_Storage_Pool with private with Storage_Pool => Minnasota; -- ... type Pooled is [...] with Storage_Pool => Lake; ------- -- Sub-Pools ---------------------------------- type Pond(Size: Storage_Count) is new Root_Storage_Pool_With_Subpools with private; subtype My_Handle is Subpool_Handle; [Note: examples uncompiled, just for illustrative purpose]