Re: Beginners question: Compound types, how-to?

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Mon, 01 Nov 2010 08:12:49 +0100, Mart van de Wege <mvdwege@mail.com> a  
écrit:
>> Children always have visibility into the specs of their ancestors, so
>> you never need to "with" said ancestors.
>>
> Cool. I missed this tidbit in the texts I read. I suppose this *is*
> spelled out in the Reference Manual?

Yes, and it is spelled that way ;)

    ARM 2005 “Declarative Region” 8.1(16)

    NOTES
    The children of a parent library unit are inside the
    parent's declarative region, even though they do not
    occur inside the parent's declaration or body. This
    implies that one can use (for example) "P.Q" to refer
    to a child of P whose defining name is Q, and that
    after "use P;" Q can refer (directly) to that child.


I was also surprised the first time I meet this, and though I would have  
prefer an explicit With to be mandatory (I do not enjoy implicit a lot).

By the way, this make me think about a question : when a child package  
does not formally requires a view on its parent, is it to be considered a  
design error ? This may occurs.


-- 
Si les chats miaulent et font autant de vocalises bizarres, c’est pas pour  
les chiens.