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,e5bfd51af02edca2 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news1.google.com!proxad.net!134.158.69.22.MISMATCH!in2p3.fr!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: Re-exporting primitive operations of a private type (like "-", and 'min) Date: Wed, 02 Nov 2005 10:50:17 +0100 Organization: Adalog Message-ID: References: NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1130925704 20242 195.25.228.57 (2 Nov 2005 10:01:44 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Wed, 2 Nov 2005 10:01:44 +0000 (UTC) User-Agent: Mozilla Thunderbird 1.0.6 (Windows/20050716) X-Accept-Language: fr, en In-Reply-To: Xref: g2news1.google.com comp.lang.ada:6111 Date: 2005-11-02T10:50:17+01:00 List-Id: Niklas Holsti a �crit : > With the new feature, the "implementation defined" pseudocode could be > replaced by real code: > > type Storage_Offset is private range <>; -- Not Ada. > type Storage_Element is private mod <>; -- Not Ada. > > The full type declarations would be in the private part of the package, > as usual. > > In such declarations, the "private" keyword is perhaps unnecessary, > since the presence of the box "<>" shows that the declared type is > partly hidden. > > Does this idea appeal to anyone? > I fail to see the benefit. The only thing that would be "hidden" with such a declaration is the actual value of the bounds. But you could get them with 'First and 'Last. So, there would be no benefit in pretending that they are "private". -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr