This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug ada/15606] Legal program rejected, RM 8.2(22)
- From: "ludovic at ludovic-brenta dot org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 3 May 2007 18:15:05 -0000
- Subject: [Bug ada/15606] Legal program rejected, RM 8.2(22)
- References: <bug-15606-286@http.gcc.gnu.org/bugzilla/>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- Comment #3 from ludovic at ludovic-brenta dot org 2007-05-03 19:15 -------
I disagree. As highlighted at the beginning of this PR, per 8.2(2), the
instance becomes visibleonly _after_ its declaration, i.e. at the semicolon.
Before the semicolon, the two "Foo"s are NOT ambiguous because only the generic
is in scope, not the instance. Disambiguation is NOT necessary per the ARM, and
the error message does NOT comply with the ARM.
--
ludovic at ludovic-brenta dot org changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |REOPENED
Resolution|INVALID |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15606