fork download

copy

With Ada.Text_IO; Use Ada.Text_IO;  
With Ada.Integer_Text_IO; Use Ada.Integer_Text_IO;
 
procedure Program is
 
  type MyClass1 is tagged
    record
      i: integer;
    end record;
 
  procedure Foo(self: in out MyClass1) is
  begin
    Put_Line("foo");
  end;
 
  type MyClass2 is new MyClass1 with null record;
 
  procedure Foo(self: in out MyClass2) is
  begin
    Put_Line("foobar");
  end;
 
  object_storage: MyClass2;
  object: MyClass1'class := object_storage;
begin
  object.Foo;
end Program;

gcc-5 -c -pipe -O2 test.adb
test.adb:4:11: warning: file name does not match unit name, should be "program.adb"
test.adb:26:09: no selector "Foo" for type "MyClass1'Class" defined at line 6
gnatmake: "test.adb" compilation error

Standard output is empty