ISAC: D3.0 question uncovered while examining IR2099

From: Chuck Swart <cswart_at_.....>
Date: Fri Mar 16 2007 - 17:42:53 PDT
LRM version D3.0 contains in Clause 10.4 Use clauses:

"A potentially visible declaration is actually made directly visible 
except in the following three cases:
...
b) A potentially visible explicit declaration is not made directly 
visible if the place considered is within the
immediate scope of an explicitly declared homograph of the declaration."

Isn't there a problem with this rule? Specifically, A label is 
implicitly declared and is a homograph of
any other declaration with the same name. So, under the new wording, a 
use clause would make directly
visible a potentially visible declaration with the same name as the 
label. Wouldn't this make the label
no longer visible?

Any ideas?

Chuck Swart



-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Fri Mar 16 17:43:09 2007

This archive was generated by hypermail 2.1.8 : Fri Mar 16 2007 - 17:43:12 PDT