From: Jeff Carter <jrcarter001@my-deja.com>
Subject: Re: Instantiating a generic formal procedure with an access procedure value
Date: 2000/01/14
Date: 2000-01-14T00:00:00+00:00 [thread overview]
Message-ID: <85lrli$sce$1@nnrp1.deja.com> (raw)
In-Reply-To: 387E2D6D.1CE5FD75@averstar.com
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.
next prev parent reply other threads:[~2000-01-14 0:00 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-12-31 0:00 Instantiating a generic formal procedure with an access procedure value Jeff Carter
2000-01-03 0:00 ` Tucker Taft
2000-01-04 0:00 ` Jeff Carter
2000-01-04 0:00 ` Tucker Taft
2000-01-05 0:00 ` Jeff Carter
2000-01-05 0:00 ` Ed Falis
2000-01-12 0:00 ` Jeff Carter
2000-01-12 0:00 ` Simon Wright
2000-01-13 0:00 ` Jeff Carter
2000-01-13 0:00 ` Tucker Taft
2000-01-14 0:00 ` Jeff Carter [this message]
2000-01-13 0:00 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox