Re: Possible to recover default value of scalar type?

[Simon Wright <simon@pushface.org>]

"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.