comp.lang.ada
 help / color / mirror / Atom feed
From: Preben Randhol <randhol+ada@pvv.org>
Subject: Re: Disagreement between GNAT and Cohen?
Date: Tue, 11 Jun 2002 03:12:14 +0200
Date: 2002-06-11T03:12:14+02:00	[thread overview]
Message-ID: <mailman.1023757981.25219.comp.lang.ada@ada.eu.org> (raw)
In-Reply-To: <3D05456D.7050001@golter.demon.co.uk>

Andrew Hoddinott <andrew@golter.demon.co.uk> wrote on 11/06/2002 (02:38) :
> This kind of renaming is explicitly used by Cohen in a generics example
> in section 15.2.3.2 of "Ada as a second language". (Cohen's full example
> doesn't compile either, although only the first 2 lines of the error
> message are generated).
> 
> 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"?

Have you checked:

   http://www.research.ibm.com/people/n/ncohen/a3sl_errata.html

-- 
Preben Randhol ------------------- http://www.pvv.org/~randhol/ --
                 �For me, Ada95 puts back the joy in programming.�



      parent reply	other threads:[~2002-06-11  1:12 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
2002-06-11  7:23   ` Andrew Hoddinott
2002-06-13  1:52     ` Robert A Duff
2002-06-11  1:12 ` Preben Randhol [this message]

replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox