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!nntp-feed.chiark.greenend.org.uk!ewrotcd!newsfeed.xs3.de!io.xs3.de!news.jacob-sparre.dk!franka.jacob-sparre.dk!pnx.dk!.POSTED.109.56.199.14.mobile.3.dk!not-for-mail
From: Jacob Sparre Andersen <jacob@jacob-sparre.dk>
Newsgroups: comp.lang.ada
Subject: Re: limited agregate and limited components default initialization
Date: Sun, 01 Apr 2018 11:32:21 +0200
Organization: JSA Research & Innovation
Message-ID: <87tvsvuva2.fsf@jacob-sparre.dk>
References: <e1e73838-2e45-4f53-9cbf-e28e85100fd1@googlegroups.com>
	<fc00973e-ffa0-42b7-9872-5971e5e915c2@googlegroups.com>
	<6b8fb3ef-700f-4930-9a1e-5126d9482a26@googlegroups.com>
	<3d0554a2-95e8-4f8f-9fdf-1743d3f1dc18@googlegroups.com>
	<c4fa910b-cd5e-495a-a7e5-9dd899f09f12@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Injection-Info: franka.jacob-sparre.dk;
 posting-host="109.56.199.14.mobile.3.dk:109.56.199.14";
	logging-data="11500"; mail-complaints-to="news@jacob-sparre.dk"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux)
Cancel-Lock: sha1:CLTeNYSqupSm0YSfR9wDiW97CyM=
Xref: reader02.eternal-september.org comp.lang.ada:51274
Date: 2018-04-01T11:32:21+02:00
List-Id: <comp.lang.ada>

Jean-Claude Rostaing wrote:

> -- Item_type and ITEM_RECORD are NOT meant to be declared
> uninitialized, ever.

That one is easy:

   type Item_Type (<>) is private;
   type Item_Record (<>) is private;

Then you can only declare variables of the type with explicit
initialization.

Greetings,

Jacob
-- 
Rent-a-Minion Inc. Because good help is so hard to find.