Re: Clause "with and use"

["Robert I. Eachus" <rieachus@comcast.net>]

Gautier wrote:

>>However, it wasn't your sample that found the bug.
>>
>>You posted
>>
>>   package body Outer is
>>     use Inner;
>>
>>He changed it to
>>
>>   use Outer.Inner;
>>   package body Outer is
> 
> 
> Thank you for the precision.

I know, I was trying to write in the non-compiler testing mode.  Gautier 
changed it to what I originally thought, then decided this was a 
language discussion not a compiler torture test.

> I'm curious to know who's right on the changed example: GNAT or ObjectAda ?
> GNAT compiles, OA says:
> 
> outer.adb: Error: line 1 col 6 LRM:4.1(3), Direct name, Outer, is not visible, Ignoring future references 

I guess I'd have to say that the reference in OA is definitely wrong, it 
should be referencing 10.1.6(3).

But GNAT is definitely wrong.  Only the names made visible or directly 
visible by previous with clauses in the same context clause are visible 
in a use clause of the context clause.

-- 
 
Robert I. Eachus

100% Ada, no bugs--the only way to create software.