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 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!gandalf.srv.welterde.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.rrsoftware.com!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: two questions on allocators Date: Mon, 26 Feb 2018 17:02:18 -0600 Organization: JSA Research & Innovation Message-ID: References: <93229821-ae3d-4e47-91d9-a20ff3c1f1a7@googlegroups.com> <55fda761-55f8-4b25-b8ab-0125acf16b05@googlegroups.com> Injection-Date: Mon, 26 Feb 2018 23:02:19 -0000 (UTC) Injection-Info: franka.jacob-sparre.dk; posting-host="rrsoftware.com:24.196.82.226"; logging-data="1583"; mail-complaints-to="news@jacob-sparre.dk" X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.7246 Xref: reader02.eternal-september.org comp.lang.ada:50669 Date: 2018-02-26T17:02:18-06:00 List-Id: "Mehdi Saada" <00120260a@gmail.com> wrote in message news:55fda761-55f8-4b25-b8ab-0125acf16b05@googlegroups.com... >I saw that since I (tried to) read the AARM, but didn't really got it. Now >it's ok. If the >problem of these null forbidding hypothetic subtypes is that can't have the >default null >value, why not just require the user to give one ? That's a different kind of allocator (specifically, initialized allocators take qualified expressions). The rule in question is specifically about uninitialized allocators. > I wonder why, the same text I read, coming from you gets clearer ;-) You have to be the first person to say that ever. :-) Thanks for the ego boost! > Those details interest me a lot, as long as it's not Chinese. But the > frontier is vague some time, unfortunately. Yes, I understand that these notes were written by people who already knew the answer, so they don't always make sense (even if I was the one that wrote the note originally, they don't always make sense when reading them many years later.) That's one of the reasons for the link to the original AI. That sometimes can help (and sometime not!). Randy.