Re: Dynamic allocation of unconstrained types

[Adam Beneschan <adam@irvine.com>]

On Sep 30, 7:56 am, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:
> On Wed, 30 Sep 2009 07:29:26 -0700 (PDT), Maciej Sobczak wrote:
> > Consider:
>
> > procedure Test is
>
> >    package P is
> >       type T (<>) is limited private;
> >       function Create return T;
> >    private
> >       type T is limited record
> >          I : Integer;
> >       end record;
> >    end P;
>
> >    package body P is
> >       function Create return T is
> >       begin
> >          return T'(I => 123);
> >       end Create;
> >    end P;
>
> >    S : access P.T;
>
> > begin
> >    S := new P.T'(P.Create);   -- ??? (this is line 22)
> > end Test;
>
> > GNAT says:
>
> > test.adb:22:19: uninitialized unconstrained allocation not allowed
> > test.adb:22:19: qualified expression required
>
> > Interestingly, it works with Strings.
>
> Because String is not a limited type.
>
> > Why doesn't GNAT recognize it as a qualified expression?
>
> Qualified expression is not allowed for a limited types, logically.

Yes, they are; see 7.5(2.1-2.9).

                                -- Adam