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,70414f56d810c10c
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.8.229 with SMTP id u5mr570346pba.0.1316662018599;
        Wed, 21 Sep 2011 20:26:58 -0700 (PDT)
MIME-Version: 1.0
Path: 
 lh7ni2274pbb.0!nntp.google.com!news1.google.com!feed-C.news.volia.net!volia.net!news2.volia.net!feed-A.news.volia.net!news.ecp.fr!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: discriminant questions
Date: Wed, 21 Sep 2011 22:26:54 -0500
Organization: Jacob Sparre Andersen Research & Innovation
Message-ID: <j5e9u1$44b$1@munin.nbi.dk>
References: 
 <9f37b726-d80b-4d24-bf3f-28a14255f7fd@s20g2000yql.googlegroups.com>
 <708a1202-d480-451b-9b55-00b31ad9c452@w28g2000yqw.googlegroups.com>
 <d6b8a9d4-3ad6-492c-bbf3-cdd14880bd07@s7g2000yqd.googlegroups.com>
 <1kx7ltnsal62q.195k449mr947t.dlg@40tude.net>
 <be4ed937-6444-463a-8893-daa84e1fa6b6@n40g2000yqb.googlegroups.com>
 <1axnuyk0kn2ru.cda1cs7skqcr$.dlg@40tude.net>
 <f9108fe3-f158-46b4-9019-c781b4fbe7f4@cd4g2000vbb.googlegroups.com>
 <7a3yxx95g6y1.1g6vlleaflqvj.dlg@40tude.net>
 <f5f7af9e-0740-4466-b008-884c65f0e34e@fi7g2000vbb.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: munin.nbi.dk 1316662017 4235 69.95.181.76 (22 Sep 2011 03:26:57 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 22 Sep 2011 03:26:57 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2900.5931
X-MIMEOLE: Produced By Microsoft MimeOLE V6.00.2900.6109
X-RFC2646: Format=Flowed; Original
Xref: news1.google.com comp.lang.ada:18076
Date: 2011-09-21T22:26:54-05:00
List-Id: <comp.lang.ada>

"ytomino" <aghia05@gmail.com> wrote in message 
news:f5f7af9e-0740-4466-b008-884c65f0e34e@fi7g2000vbb.googlegroups.com...
...
> (Incidentally, I hope next version compiler that will accept an
> instantiated type as the type of discriminant of formal type.
> Yesterday, I searched ACATS for this case, but nothing.
> There was no test about this also in class-B. So it's perhaps not
> explicitly disallowed in standard. In my guess, it's in the range of
> the interpretation allowed the compiler, since formal discriminant had
> been minor and unused until accessor appeared...)

To give you a useless answer, I'm not sure whether your program is legal or 
not. It *ought* to be legal, but that is a different question! I don't have 
time to research it right now, so it probably would be a reasonable idea to 
submit your example program to Ada-Comment and let the assembled experts 
decide whether or not it ought to work. And if not, then we can open an AI 
to fix the language (post-Ada 2012).

                                    Randy.