Re: Don't use the "use" clause

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Tue, 24 Jan 2006 09:48:12 -0000, Martin Dowie wrote:

> Dmitry A. Kazakov wrote:
>> On Mon, 23 Jan 2006 21:27:19 -0500, Stephen Leake wrote:
>>
>>> It says "no use clauses in package specs.
>>
>> Which implies that child and nested packages should be forbidden...
>>
>> As well as all others, after all Standard is "use"-d. Why? It should
>> not...
>>
>> Hmm, where Standard is declared? Isn't *that* package "use"-d? (:-))
> 
> No it isn't - all Ada programs are conceptually declared _within_ package
> Standard : so no need to with or use it (see LRM A.1 54).

But Standard cannot be declared within itself, even conceptually! (:-))
Anyway nested declarations are equivalent to "use"-ing.

I must admit, that I never managed to understand the point of use-haters.
(Probably because they don't have any (:-)) The packages comprise a tree.
With "use"-ing it is levered to a DAG. I would *really* like to be able to
do it without "use" as well, i.e. to have children of multiple parents. But
that's aside. Is the point that all nodes along any path need to be
mentioned? If so, then "use" or not is quite irrelevant. If not then what?
To keep it a tree, then "with" must be outlawed as well. I don't get it.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de