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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ac5c3bc59168d76
X-Google-Attributes: gid103376,public
From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Subprogram Renaming
Date: 1996/04/11
Message-ID: <dewar.829265603@schonberg>#1/1
X-Deja-AN: 147048194
references: <md5:95D854EBD1A47E0E86027A3CC7DBD9A4>
 <316BC3D6.14E7@csehp3.mdc.com> <Dpo770.ByH@world.std.com>
 <4kjkg6$4m2@krusty.irvine.com>
organization: Courant Institute of Mathematical Sciences
newsgroups: comp.lang.ada
Date: 1996-04-11T00:00:00+00:00
List-Id: <comp.lang.ada>

Adam says

"Just out of curiosity:

    package q is
       procedure j;
    end q;

    package body q is
       procedure k;
       procedure j renames k;
    end q;

Are j'address and k'address equal?  Is there anything in the RM that
says one way or the other whether they must be equal?"

The RM has nothing to say on this!