Re: AdaYY wish list from current projects

[lutz@iks-jena.de (Lutz Donnerhacke)]

* Florian Weimer wrote:
>lutz@iks-jena.de (Lutz Donnerhacke) writes:
>> >Perhaps you want to use a constrained integer type in conjunction with
>> >a record discriminant with a default expression?
>> 
>>   ex : pstring(x); for ex'Address use 16#00000#;
>> will compile, but ex.len is always x and not correlated to (16#00000#).
>
>If there's a default expression, you can write 'ex : psring;'.

If there would exists a default expression, ex.len would always be equal to
it.