From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.1 required=5.0 tests=BAYES_00,
	PP_MIME_FAKE_ASCII_TEXT autolearn=no autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,69c50fc0d29ced1b
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news4.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: "Gavino" <invalid@invalid.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Q: SPARK visibility rules and inherit annotations.
Date: Wed, 19 May 2010 22:41:17 +0200
Message-ID: <85j0ohF6hnU1@mid.individual.net>
References: <4bf3fce5$0$2399$4d3efbfe@news.sover.net>
 <op.vcynrvxnule2fv@garhos>
X-Trace: individual.net 9p9EwfGyPGKPHiRI+pfDDQmwY7dfzQRRyNYI3FGjeo8iDJ4AMi
Cancel-Lock: sha1:FFbcTo/wcwzQiopl8aN4MsESF3g=
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1106
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1106
Xref: g2news2.google.com comp.lang.ada:11777
Date: 2010-05-19T22:41:17+02:00
List-Id: <comp.lang.ada>

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message
news:op.vcynrvxnule2fv@garhos...
>It seems to expect the path to the package to be expressed explicitly as a
>path in a child package hierarchy. Now will have to look to the reference
>about it, as I don't remember about this kind of detail anywhere.

See end of Section 7.1.1 of the SPARK Reference Manual:
"A child package is denoted by a direct name at places where its declaration
is directly visible."