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,d6413a22d4aaecda
X-Google-Attributes: gid103376,public
From: Dale Stanbrough <dale@goanna.cs.rmit.EDU.AU>
Subject: Re: Program identification
Date: 1996/08/31
Message-ID: <50aip6$f44@goanna.cs.rmit.edu.au>#1/1
X-Deja-AN: 177722593
distribution: world
references: <INFO-ADA%96082914161709@LISTSERV.NODAK.EDU>
content-type: text/plain; charset=ISO-8859-1
x-xxmessage-id: <AE4F0C730F031B17@obibicut.cs.rmit.edu.au>
organization: Royal Melbourne Institute of Technology
mime-version: 1.0
newsgroups: comp.lang.ada
Date: 1996-08-31T00:00:00+00:00
List-Id: <comp.lang.ada>


Robert A Duff writes:

"How is:

    P'Identity

different from:

    "P"
"

It would be in generics (if p'identity is defined for the
instantiation, and not the generic itself).

	with text_io; use text_io;
	generic
	procedure wow is
	begin
		put_line("my name is " & p'identity);
	end;

	procedure fred is new wow;
	...
	fred; -- outputs 'my name is fred'

I've got no idea how hard this would be, or even of its worth.
I presume you would have to include a hidden parameter to the 
generic.

Dale