fork download
  1. procedure Test is
  2. type Cow is null record;
  3. type Ox is null record;
  4. procedure Moo(N : Cow) is
  5. begin
  6. null;
  7. end Moo;
  8. procedure Moo(N : Ox) is
  9. begin
  10. null;
  11. end Moo;
  12. function Bovine return Ox is
  13. begin
  14. return (null record);
  15. end Bovine;
  16. function Bovine return Cow is
  17. begin
  18. return (null record);
  19. end Bovine;
  20. begin
  21. Moo(Cow'(Bovine));
  22. end Test;
Success #stdin #stdout 0s 17016KB
stdin
Standard input is empty
stdout
Standard output is empty