From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Disagreement between GNAT and Cohen?
Date: Tue, 11 Jun 2002 01:00:45 GMT
Date: 2002-06-11T01:00:45+00:00 [thread overview]
Message-ID: <wcczny2tyrm.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 3D05456D.7050001@golter.demon.co.uk
Andrew Hoddinott <andrew@golter.demon.co.uk> writes:
> Am I missing something obvious here? Or is Cohen wrong? Or GNAT? Is
> there something in the RM that supports GNAT's claim that "subprogram
> used in renaming_as_body cannot be intrinsic"?
See 8.5.4(5/1).
The AARM explains the reason for the rule: basically to make (efficient)
implementation easier.
- Bob
next prev parent reply other threads:[~2002-06-11 1:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-06-11 0:33 Disagreement between GNAT and Cohen? Andrew Hoddinott
2002-06-11 1:00 ` Robert A Duff [this message]
2002-06-11 7:23 ` Andrew Hoddinott
2002-06-13 1:52 ` Robert A Duff
2002-06-11 1:12 ` Preben Randhol
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox