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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,309015504ed37ff0 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-09-30 19:41:12 PST Path: archiver1.google.com!news2.google.com!newsfeed.stanford.edu!cyclone.bc.net!sjc70.webusenet.com!news.webusenet.com!elnk-nf2-pas!newsfeed.earthlink.net!wn14feed!wn13feed!worldnet.att.net!204.127.198.203!attbi_feed3!attbi.com!rwcrnsc51.ops.asp.att.net.POSTED!not-for-mail Message-ID: <3F7A3EAF.1080509@comcast.net> From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.0.2) Gecko/20021120 Netscape/7.01 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Usage of Interfaces with Ada 95 References: <1064595326.831730@master.nyc.kbcfp.com> <4nii41-067.ln1@boavista.snafu.de> <3F7726E4.6040402@comcast.net> <3F78F430.1070909@comcast.net> <1064929111.851223@master.nyc.kbcfp.com> <3F79F996.3020500@comcast.net> <1064959855.811560@master.nyc.kbcfp.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit NNTP-Posting-Host: 24.34.139.183 X-Complaints-To: abuse@comcast.net X-Trace: rwcrnsc51.ops.asp.att.net 1064976072 24.34.139.183 (Wed, 01 Oct 2003 02:41:12 GMT) NNTP-Posting-Date: Wed, 01 Oct 2003 02:41:12 GMT Organization: Comcast Online Date: Wed, 01 Oct 2003 02:41:12 GMT Xref: archiver1.google.com comp.lang.ada:50 Date: 2003-10-01T02:41:12+00:00 List-Id: (Please excuse the partial message, I hit the wrong key when pasting.) Hyman Rosen wrote: > If a generic package defines a controlled type, can that > package be instantiated at non-library level? If you read 3.10.2 you will learn more than you want to know about accessability levels. However, the important rule for this case is in 3.9.1(3): "The accessibility level (see 3.10.2) of a record extension shall not be statically deeper than that of its parent type. In addition to the places where Legality Rules normally apply (see 12.3), these rules apply also in the private part of an instance of a generic unit." But why would you want to instantiate a generic package that declares an explicitly tagged type other than as a library unit or in another package? -- Robert I. Eachus "Quality is the Buddha. Quality is scientific reality. Quality is the goal of Art. It remains to work these concepts into a practical, down-to-earth context, and for this there is nothing more practical or down-to-earth than what I have been talking about all along...the repair of an old motorcycle." -- from Zen and the Art of Motorcycle Maintenance by Robert Pirsig