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 10:22:14 PST
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: AdaYY wish list from current projects
Date: 23 Feb 2001 18:25:22 +0100
Organization: Enyo's not your organization
Message-ID: <87wvahxqf1.fsf@deneb.enyo.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>
 <slrn99d3sn.ju.lutz@taranis.iks-jena.de>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Path: 
 supernews.google.com!sn-xit-03!supernews.com!freenix!fr.usenet-edu.net!usenet-edu.net!news.tele.dk!194.25.134.62!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!feed.news.nacamar.de!rz.uni-karlsruhe.de!news.uni-ulm.de!news.belwue.de!LF.net!news.enyo.de!news1.enyo.de!not-for-mail
Xref: supernews.google.com comp.lang.ada:5486
Date: 2001-02-23T18:25:22+01:00
List-Id: <comp.lang.ada>

lutz@iks-jena.de (Lutz Donnerhacke) writes:

[record discriminants]

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

No, it wouldn't, see 3.7.(28) (I wonder where this is more more
formally specified in the RM, however).