variant record and pointer

[Manu-CSS@gmx.de (Noivet)]

Hello!

Maybe you can help me. I need a pointer with variant record. I have
something like this:
-------
type object is (circle, square, triangle);

type node;
type pointer is access node;
type pointer (index: object) is record
  ptr: pointer;
  special: unbounded_string;
  case index is
    when circle =>   diameter: natural;
    when square =>   side: natural;
    when triangle => edge_1, edge_2, edge_3: natural;  
  end case;
end record;
-------

now I can declare:
s, t: pointer;

and then use it:
s := new node(circle);
t := new node(square);
s.diameter := 5;
t.side := 3;
s.side := 10;   <------ and I wondered that the compiler compiled
successfully!
                        I expected a conflict, but there isn't.
                        is there something wrong with my declaration
of the pointer type? or can someone explain me that?


Thx!