Re: How to return an empty aggregate

[Anh Vo <anhvofrcaus@gmail.com>]

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.

> Extended return with null statement works fine, but I would like to
> understand the language corners involved with the aggregate.

This must me the compiler bug. The program should behave the same way.

AV