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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,24a966a32c3e0a6c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1994-12-19 12:40:56 PST Path: bga.com!news.sprintlink.net!howland.reston.ans.net!darwin.sura.net!source.asset.com!source.asset.com!not-for-mail From: weisek@source.asset.com (Kevin Weise) Newsgroups: comp.lang.ada Subject: Re: mini-quiz Date: 19 Dec 1994 15:31:35 -0500 Organization: Asset Source for Software Engineering Technology Message-ID: <3d4qj7$9dd@source.asset.com> References: <3cq9nh$5v2@salyko.cube.net> NNTP-Posting-Host: 530tr0 Date: 1994-12-19T15:31:35-05:00 List-Id: In article <3cq9nh$5v2@salyko.cube.net>, Oliver Kellogg wrote: >package Pkg is > type Typ is (eins, zwei); >end Pkg; > >with Pkg; >package Test is > package Pkg is > type Typ is (un, deux); > end Pkg; > X : Pkg.Typ; >end Test; > >--Quick, without compiling (-: Of which type is X, Pkg.Typ, or Test.Pkg.Typ ? X is of type Test.Pkg.Type. This is because the identifier for the nested package Pkg is a homonym of the library package Pkg identifier, and being an inner declaration, hides the library unit identifier. >--Bonus question: Where in the LRM ('83 or '95) is this documented ? Ada83, Ch. 8.3 (Visibility), paragraphs 14, 15, and 21. > >-- Oliver M. Kellogg | mail: okellogg@cube.net | fax: (+49)89-60723732 -- >-- Dept. RST13, Deutsche Aerospace AG, P.O. Box 801169, D-81663 Munich -- > ---------------------------------------------------------------- Kevin J. Weise weisek@source.asset.com COLSA Corporation Voice - (205) 922-1512 ext. 2115 6726 Odyssey Drive FAX - (205) 971-0002 Huntsville, AL 35806 {Standard Disclaimers about my opinions & my employer's opinions} {... which are in conflict often enough} ---------------------------------------------------------------- "Admire those who seek the truth; avoid those who find it." Marcel Proust