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-Thread: 103376,5d4ade2fd8fd67c6
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!news.glorb.com!feeder.erje.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!jacob-sparre.dk!ada-dk.org!.POSTED!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Legit Warnings or not
Date: Fri, 22 Jul 2011 19:46:59 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <j0d5m6$rbk$1@munin.nbi.dk>
References: 
 <531193e0-3305-4292-9ed8-0176226c1d00@x12g2000yql.googlegroups.com><j086nn$aau$1@tornado.tornevall.net>
 <j08sp2$8qi$2@dont-email.me><j09rks$c5u$1@tornado.tornevall.net>
 <j0a5qa$lqg$2@dont-email.me><25df2c14-349d-4ac1-8f02-01ab76df041a@r28g2000prb.googlegroups.com>
 <j0bilg$mr4$2@dont-email.me>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1311382022 28020 69.95.181.76 (23 Jul 2011 00:47:02 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Sat, 23 Jul 2011 00:47:02 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-RFC2646: Format=Flowed; Original
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6109
Xref: g2news1.google.com comp.lang.ada:20310
Date: 2011-07-22T19:46:59-05:00
List-Id: <comp.lang.ada>

"Brian Drummond" <brian@shapes.demon.co.uk> wrote in message 
news:j0bilg$mr4$2@dont-email.me...
...
> I considered adding a comment that this would make representation clauses
> difficult, as you suggest.

There is no requirement that an implementation support representation 
clauses on discriminant-dependent components - 13.1(23). An implementation 
could do so of course (depending on it's implementation model), but the 
language does not require it and portable code therefore should avoid using 
such clauses. As you note, they're not very useful anyway.

                                      Randy.