Re: Possible to recover default value of scalar type?

[AdaMagica <christ-usch.grein@t-online.de>]

Simon Wright schrieb am Dienstag, 15. Dezember 2020 um 17:54:01 UTC+1:
> I suppose the compiler could still detect & warn about inadvertent use 
> of the don't-care value.
Just a story about my work (long ago):
Our coding standard required for every type declaration a default value that indicated an uninitialised value:

type T is ...
Nd_T: constant T := ...;  -- Nd: not defined
X: T := Nd_T;  -- required

The idea was that this Nd value should be thus that it would be likely to produce an exception when used in an expression. Also any change of this value should have absolutely no effect on the code.
In any case, at some time it was decided that the Nd value for numeric types was 0. The effect:
It was no longer possible to see whether in a declaration like
X: T := Nd_T;
this values denoted a truly undefined value or a concrete and correct initial value.