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!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: limited agregate and limited components default initialization Date: Sun, 1 Apr 2018 15:33:37 +0200 Organization: Aioe.org NNTP Server Message-ID: References: NNTP-Posting-Host: kQkuQcRDy1QFvWpyB1foYw.user.gioia.aioe.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Complaints-To: abuse@aioe.org User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:52.0) Gecko/20100101 Thunderbird/52.6.0 X-Notice: Filtered by postfilter v. 0.8.3 Content-Language: en-US Xref: reader02.eternal-september.org comp.lang.ada:51278 Date: 2018-04-01T15:33:37+02:00 List-Id: On 2018-04-01 01:36, Jean-Claude Rostaing wrote: > Why does a component declaration like that: > type Item_Accessor (Item: not null access Item_type) is limited record > Ref: Item_access := SET(Item_Record'(Item => ITEM.all, others => <>)); > end record; > unconstrained subtype in component declaration > ? ITEM is limited but IS constrained by the default initialisation Smart pointer is limited? It does not make sense to me. P.S. Unless you are trying to work around some very specific language deficiency, e.g. lack of in-place operations for container types. P.P.S. Limited aggregates do not work, no matter how you turn it. I am afraid you are wasting your time. Even if you get this working somehow this time, they will hit you somewhere later. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de