From: David L Brown <dbrown@vigra.com>
Subject: Re: ObjectAda vs Gnat -- bugs
Date: 1997/05/16
Date: 1997-05-16T00:00:00+00:00 [thread overview]
Message-ID: <osk9kz481b.fsf@ted.vigra.com> (raw)
In-Reply-To: dewar.863746153@merv
dewar@merv.cs.nyu.edu (Robert Dewar) writes:
> Well I am not sure where you get the "probably gnat" from, but in this case
> it seems obvious that GNAT is right, unless I am missing something. You
> have an object renaming declaration and you are trying to rename a functoin.
> The GNAT message seems correct (I suppose that it would be nice if it would
> remind you that an enumeration literal is a function and not an object, since
> it is true that this can be a bit of a surprise!
Actually, this shows an inconsistency with GNAT between enumeration
literals, and actual functions.
1. procedure T1 is
2. type Items is (Item);
3.
4. Item_2 : Items renames Item;
|
>>> expect object name in renaming
5. function Item_3 return Items renames Item;
6. Item_4 : Items renames Item_3;
7.
8. function Hoo_Haa return Items is
9. begin
10. return Item;
11. end Hoo_Haa;
12.
13. Hoo_2 : Items renames Hoo_Haa;
14.
15. begin
16. null;
17. end T1;
GNAT correctly renames the "real" function "Item_3", but is not able
to rename the enumeration literal.
Dave Brown
next prev parent reply other threads:[~1997-05-16 0:00 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-05-15 0:00 ObjectAda vs Gnat -- bugs granger
1997-05-15 0:00 ` Samuel A. Mize
1997-05-15 0:00 ` Samuel A. Mize
1997-05-15 0:00 ` Stephen Leake
1997-05-16 0:00 ` Jon S Anthony
1997-05-16 0:00 ` Tucker Taft
1997-05-16 0:00 ` Jon S Anthony
1997-05-16 0:00 ` Tom Moran
1997-05-16 0:00 ` Robert Dewar
1997-05-17 0:00 ` Jon S Anthony
1997-05-15 0:00 ` Robert Dewar
1997-05-16 0:00 ` David L Brown [this message]
1997-05-16 0:00 ` Robert Dewar
1997-05-17 0:00 ` Tom Moran
1997-05-18 0:00 ` Jon S Anthony
1997-05-19 0:00 ` Tucker Taft
1997-05-19 0:00 ` Tom Moran
1997-05-16 0:00 ` Robert A Duff
1997-05-16 0:00 ` Robert Dewar
-- strict thread matches above, loose matches on Subject: below --
1997-05-16 0:00 Keith Thompson
1997-05-16 0:00 ` Robert A Duff
1997-05-16 0:00 ` Robert Dewar
1997-05-18 0:00 ` Nick Roberts
1997-05-19 0:00 ` Robert Dewar
1997-05-20 0:00 ` Nick Roberts
1997-05-21 0:00 ` Robert Dewar
1997-05-23 0:00 ` Stephen Leake
1997-05-24 0:00 ` Robert A Duff
1997-05-28 0:00 ` Stephen Leake
1997-05-30 0:00 ` Robert A Duff
1997-05-30 0:00 ` Matthew Heaney
1997-05-31 0:00 ` Robert A Duff
1997-05-30 0:00 ` Samuel Mize
1997-05-19 0:00 tmoran
1997-05-19 0:00 ` Jon S Anthony
1997-05-20 0:00 ` Nick Roberts
1997-05-25 0:00 ` Tom Moran
1997-05-20 0:00 ` Jeff Carter
1997-05-30 0:00 John Walker
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox