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=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,e5fae12a81834f90
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-02-23 08:40:07 PST
From: lutz@iks-jena.de (Lutz Donnerhacke)
Newsgroups: comp.lang.ada
Subject: Re: AdaYY wish list from current projects
Date: 23 Feb 2001 16:31:00 GMT
Organization: IKS GmbH Jena
Distribution: world
Message-ID: <slrn99d3sn.ju.lutz@taranis.iks-jena.de>
References: <96ulad$r9e$1@belenus.iks-jena.de> <87u25nnfer.fsf@deneb.enyo.de>
 <slrn99a396.l0.lutz@taranis.iks-jena.de> <87elwp3fw4.fsf@deneb.enyo.de>
 <slrn99cdnh.ju.lutz@taranis.iks-jena.de> <87lmqx1p47.fsf@deneb.enyo.de>
 <slrn99cs08.ju.lutz@taranis.iks-jena.de> <87zofdzbii.fsf@deneb.enyo.de>
 <slrn99cvfa.ju.lutz@taranis.iks-jena.de> <87d7c9z7yg.fsf@deneb.enyo.de>
NNTP-Posting-Host: taranis.iks-jena.de
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
User-Agent: slrn/0.9.6.3 (Linux)
Path: 
 supernews.google.com!sn-xit-03!supernews.com!freenix!skynet.be!news1.ebone.net!news.ebone.net!newsfeed.freenet.de!stueberl.r-kom.de!news-ffm.transmedia.de!news1.transmedia.de!news-FFM2.ecrc.net!news.iks-jena.de!lutz
Xref: supernews.google.com comp.lang.ada:5481
Date: 2001-02-23T16:31:00+00:00
List-Id: <comp.lang.ada>

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