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,
	MSGID_RANDY autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8cca2e0315177d3b
X-Google-Attributes: gid103376,public
From: Jeff Carter <jrcarter001@my-deja.com>
Subject: Re: Instantiating a generic formal procedure with an access procedure
 value
Date: 2000/01/14
Message-ID: <85lrli$sce$1@nnrp1.deja.com>#1/1
X-Deja-AN: 572298329
References: <84guh6$emh$1@nnrp1.deja.com> <3870E3F1.906FDFF4@averstar.com>
 <84rnbm$8jo$1@nnrp1.deja.com> <38725A42.2961CEFC@averstar.com>
 <84u97t$uut$1@nnrp1.deja.com> <85ifd2$bae$1@nnrp1.deja.com>
 <x7vpuv7t2zb.fsf@pogner.demon.co.uk> <85jho4$5a9$1@nnrp1.deja.com>
 <387E2D6D.1CE5FD75@averstar.com>
X-Http-Proxy: 1.0 x33.deja.com:80 (Squid/1.1.22) for client 205.188.192.177
Organization: Deja.com - Before you buy.
X-Article-Creation-Date: Fri Jan 14 00:46:46 2000 GMT
X-MyDeja-Info: XMYDJUIDjrcarter001
Newsgroups: comp.lang.ada
X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 5.0; AOL 5.0; Windows 95;
 DigExt; Freei Client 2.1)
Date: 2000-01-14T00:00:00+00:00
List-Id: <comp.lang.ada>

In article <387E2D6D.1CE5FD75@averstar.com>,
  Tucker Taft <stt@averstar.com> wrote:
> The instantiation is certainly legal.  The GNAT error message
> doesn't even make sense, so you can be pretty sure that it is
> just a GNAT bug.  Send a report to the appropriate GNAT bug list.

If STT says it's legal, it rarely isn't. However, I can argue this 2
ways:

1. An explicit dereference is a name, and the actual for a generic
formal procedure must be a procedure or entry name, so this is legal.

2. Instantiation occurs at compile time, but the evaluation of an
explicit dereference occurs at run time, so this is illegal. ARM 4.1
(13) may apply here.

This is why I asked for comments on its legality. I guess I'll prepare
an error report for GNAT.
--
Jeff Carter
"Now go away or I shall taunt you a second time."
-- Monty Python and the Holy Grail


Sent via Deja.com http://www.deja.com/
Before you buy.