From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.129.145.8 with SMTP id i8mr37353945ywg.31.1451499845070;
        Wed, 30 Dec 2015 10:24:05 -0800 (PST)
X-Received: by 10.182.28.129 with SMTP id b1mr546086obh.4.1451499845035; Wed,
 30 Dec 2015 10:24:05 -0800 (PST)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!6no1722348qgy.0!news-out.google.com!f6ni38290igq.0!nntp.google.com!mv3no23290894igc.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Wed, 30 Dec 2015 10:24:04 -0800 (PST)
In-Reply-To: <c63a98f4-1127-4e7d-852f-ad418a4a749f@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=2a02:120b:2c01:1490:a4ad:bc12:d8de:8fd0;
 posting-account=gRqrnQkAAAAC_02ynnhqGk1VRQlve6ZG
NNTP-Posting-Host: 2a02:120b:2c01:1490:a4ad:bc12:d8de:8fd0
References: <5be84c5a-9614-4ee2-ae85-beb962171a05@googlegroups.com>
 <192c4493-9c53-4e23-b9bd-e4c543738dbc@googlegroups.com>
 <c63a98f4-1127-4e7d-852f-ad418a4a749f@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <26e20ae9-ad86-4c88-9c67-f1a4a9b33f23@googlegroups.com>
Subject: Re: Overriding puzzle
From: gautier_niouzes@hotmail.com
Injection-Date: Wed, 30 Dec 2015 18:24:05 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:28937
Date: 2015-12-30T10:24:04-08:00
List-Id: <comp.lang.ada>

No, the "A'Class(o)" also makes the difference when type Custom is framed into a package:

with Ada.Text_IO; use Ada.Text_IO;

procedure Test_override is

  package Pkg is
    type A is tagged null record;

    procedure Header(o: A);
    procedure New_Page(o: A);

  end;

  package body Pkg is

    procedure Header(o: A) is
    pragma Unreferenced (o);
    begin
      Put_Line("This is a normal header");
    end;

    procedure New_Page(o: A) is
    begin
      Header(A'Class(o));
    end;
  end;

  package Pkg_cust is
    type Custom is new Pkg.A with null record;
    procedure Header(o: Custom);
  end;

  package body Pkg_cust is
    procedure Header(o: Custom) is
    pragma Unreferenced (o);
    begin
      Put_Line("This is a custom header");
    end;
  end;
    
  use Pkg_cust;
  
  obj: Custom;

begin
  New_Page(obj);
end;

_________________________ 
Gautier's Ada programming 
http://www.openhub.net/accounts/gautier_bd