Re: Discriminant ans tagged type ?!

Adam Beneschan <adam@[EMAIL PROTECTED]
> writes:

>     type B (Ell : Natural) is new A(L) with record
                                    A(L => Ell)
>          T : String (1 .. Ell);
>     end record;