Re: Dynamically tagged expression required

[Georg Bauhaus <bauhaus@futureapps.de>]

On Thu, 2005-12-08 at 14:50 +0100, Maciej Sobczak wrote:
> Hi,
> 
> procedure Hello is
> 
>     type Shape is tagged null record;
>     type Triangle is new Shape with
>       record
>          SideLen : Positive;
>       end record;
> 
>     A : Shape;
>     B : Shape'Class := A;             -- (1)
>     C : Triangle := (SideLen => 7);
> 
> begin
> 
>     A := C;                           -- (2)
>     B := C;                           -- (3)
> 
> end Hello;

Try this,

procedure Hello is

    type With_Angles(sides: Positive) is
      record
         SideLen : Positive;
      end record;

    A : With_Angles(sides => 4);
    B : With_Angles := A;             -- (1)
    C : With_Angles := (sides => 3, SideLen => 7);

begin

    A := C;                           -- (2)
    B := C;                           -- (3)

end Hello;


-- Georg