Re: How to return an empty aggregate

[Adam Beneschan <adam@irvine.com>]

On Apr 1, 5:54 am, Anh Vo <anhvofrc...@gmail.com> wrote:
> On Apr 1, 4:58 am, Maciej Sobczak <see.my.homep...@gmail.com> wrote:
>
>
>
> > In my previous post I had the following:
>
> >       type Concrete is new Middle with null record;
>
> >       function Make_Concrete return Concrete is
> >          C : Concrete;
> >       begin
> >          return C;
> >       end Make_Concrete;
>
> > I would like to return the empty(?) aggregate instead of the dummy
> > local variable.
> > Is there a way to do this?
>
> > The following:
>
> >         return Concrete' (others => <>);
>
> > results in segmentation fault on my system (compiler version as
> > before).
>
> Did you get seg fault during run time or the compiler crashed with seg
> fault?
>
> By the way, the return statement should be flagged as syntax error due
> to missing the base type Middle.

If you're talking about the last return statement:

   return Concrete' (others => <>);

why would this be a syntax error?  I don't know of any language rule
that would require a reference to "Middle" to be present, if that's
what you're saying.

As far as I can tell, what Maciej is trying to do is perfectly fine,
there aren't any language corners that would cause a problem, and the
compiler is misbehaving.

                            -- Adam