From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.5-pre1
Path: eternal-september.org!reader02.eternal-september.org!aioe.org!0nYzhFpEeoH2MFWixtUlcg.user.gioia.aioe.org.POSTED!not-for-mail
From: Simon Wright <simon@pushface.org>
Newsgroups: comp.lang.ada
Subject: Re: Possible to recover default value of scalar type?
Date: Tue, 15 Dec 2020 16:53:59 +0000
Organization: Aioe.org NNTP Server
Message-ID: <ly7dpjdn88.fsf@pushface.org>
References: <0c0ddb8e-6a82-473d-8143-f4076242f520n@googlegroups.com>
	<86r1ntntb3.fsf@stephe-leake.org>
	<0ded905f-94ac-4470-936c-7f1cb19ac798n@googlegroups.com>
	<82e629ea-bd59-417a-9185-dd6094e396c1n@googlegroups.com>
	<rr7bqv$19da$1@gioia.aioe.org>
	<570e9d30-0b33-45f0-a9fe-163cc810a770n@googlegroups.com>
	<rr840u$1qm6$1@gioia.aioe.org> <lyblewdz49.fsf@pushface.org>
	<rr8cav$9bv$1@gioia.aioe.org> <rr9m63$ufd$1@dont-email.me>
	<rr9o9m$vb1$1@gioia.aioe.org> <rr9ubm$c6n$1@dont-email.me>
NNTP-Posting-Host: 0nYzhFpEeoH2MFWixtUlcg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (darwin)
X-Notice: Filtered by postfilter v. 0.9.2
Cancel-Lock: sha1:FDBR5ajw3F1x4Agy5sElTDh3FRQ=
Xref: reader02.eternal-september.org comp.lang.ada:60866
List-Id: <comp.lang.ada>

"J-P. Rosen" <rosen@adalog.fr> writes:

> Le 15/12/2020 à 08:23, Dmitry A. Kazakov a écrit :

>> Returning to Simon's argument about detecting uninitialized variables.
>> It would not apply to your example.
>> 
>>    V : Integer := <>;  -- Invented syntax for explicit lack of
>>                        -- initialization
>> begin
>>    loop
>>       Get (V);
>>       exit when V = 0;
>>       -- do something with V
>>    end loop;

> That would make more sense: make initialization required, and say so
> if you don't care.

I suppose the compiler could still detect & warn about inadvertent use
of the don't-care value.