Re: Discriminant ans tagged type ?!

[Tony <truand.tony@gmail.com>]

On 18 mar, 20:54, Adam Beneschan <a...@irvine.com> wrote:
> On Mar 18, 8:54 am, Adam Beneschan <a...@irvine.com> wrote:
>
> > However, I tried changing the declaration of T as follows:
>
> >    T : String (1 .. B.L);
>
> > and GNAT accepted it.  (I haven't done enough testing to make sure
> > GNAT handles it correctly in other ways, though.)  Here, B refers to
> > the "current instance" of the type (8.6(17)), and 3.7(18) means that
> > all instances of the type will have a component L that is inherited
> > from A, so this should be legal unless there are some other rules that
> > I've missed (and that GNAT also missed).
>
> Never mind.  After reading Bob's post, I got pointed to 3.8(10-12),
> which disallows references to inherited discriminants in a type
> extension.  So I guess GNAT (or at least the version I'm using, which
> is probably not the latest) is wrong to accept this.  Sorry.
>
>                                   -- Adam

--
I tried Bob's answer with the Aonix compiler:
ERROR : LRM:3.8(12), A discriminant used in a constraint may only
appear alone as a direct_name.
I'm lost...;-)
Is my first code correct? I guess yes...
Tony