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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,8dc50f1b24590126 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail NNTP-Posting-Date: Thu, 28 Oct 2004 17:18:03 -0500 From: "Randy Brukardt" Newsgroups: comp.lang.ada References: <4180fb61$0$20941$9b4e6d93@newsread2.arcor-online.net> <4181108a_1@baen1673807.greenlnk.net> Subject: Re: visibility of private incomplete types Date: Thu, 28 Oct 2004 17:19:34 -0500 X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 5.50.4807.1700 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300 Message-ID: <9NWdnRZle_mB7RzcRVn-uQ@megapath.net> NNTP-Posting-Host: 64.32.209.38 X-Trace: sv3-UDDR+ICenkXiav/DkVZqadYaCTFOdaRbOue8Kfzdlrd60VFIiA4oehIBmXA4ANZ8ezjjRvJdNob2Cni!GghaPAdtcLEZTpueGwPW7YmZxxF7hvEyH/SIXmNaoBG+9xQqX7T2ifmUn7VrgnzfUf5dGwU+G8pT X-Complaints-To: abuse@megapath.net X-DMCA-Complaints-To: abuse@megapath.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.20 Xref: g2news1.google.com comp.lang.ada:5808 Date: 2004-10-28T17:19:34-05:00 List-Id: "Martin Dowie" wrote in message news:4181108a_1@baen1673807.greenlnk.net... > Georg Bauhaus wrote: > > is GNAT correct in compiling the following program > > without complaints? (There is a complaint if the > > function in the body of P is uncommented.) > > No - according to ObjectAda v 7.2.2 Right, because the outer private part doesn't have visibility on the private part of Inner. Only the body of Inner should be able to see TI. Randy.