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-Thread: a07f3367d7,da85d9aaf769b16a X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!postnews.google.com!c3g2000yqd.googlegroups.com!not-for-mail From: =?ISO-8859-1?Q?Hibou57_=28Yannick_Duch=EAne=29?= Newsgroups: comp.lang.ada Subject: Re: Generic package parameters not externally visible : what's the rational ? Date: Mon, 26 Oct 2009 18:06:42 -0700 (PDT) Organization: http://groups.google.com Message-ID: References: <92abb636-b3a0-429b-b6b4-03b6abe2d206@x15g2000vbr.googlegroups.com> NNTP-Posting-Host: 86.75.149.43 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: posting.google.com 1256605602 15403 127.0.0.1 (27 Oct 2009 01:06:42 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 27 Oct 2009 01:06:42 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: c3g2000yqd.googlegroups.com; posting-host=86.75.149.43; posting-account=vrfdLAoAAAAauX_3XwyXEwXCWN3A1l8D User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; fr),gzip(gfe),gzip(gfe) Xref: g2news2.google.com comp.lang.ada:8804 Date: 2009-10-26T18:06:42-07:00 List-Id: On 26 oct, 12:05, Ludovic Brenta wrote: > (I'm OK, thank you, and qute busy with the Debian Policy for Ada and > gnat-4.4....) Yes, I know (I've read your previous announcement about it) On 26 oct, 12:05, Ludovic Brenta wrote: > I think this is at least consistent: the values of subprogram > parameters are also invisible outside the subprogram. Making "in out" > generic formal variables visible outside the generic would be > dangerous IMHO. As for generic formal types, subprograms, packages and > constants... why not. > > -- > Ludovic Brenta. I did not though about this "in out" formal parameter, because I never use it. This may be a good reason, why not, I will think about it if I ever use it.