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=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!mx05.eternal-september.org!feeder.eternal-september.org!news.swapon.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: Bill Findlay Newsgroups: comp.lang.ada Subject: Re: Ada 2012: In-out parameters for functions Date: Mon, 06 May 2013 17:17:52 +0100 Message-ID: References: <7704abab-86f2-4edc-ad4b-b3d4e70004fb@googlegroups.com> <19a6badd-ed0f-4023-9100-b9ab653a7f23@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Trace: individual.net Ix/jw7cm5+EEuawn8nk9hwrpnSTf39pLsNgC5rO+QaUpo/ORt9 Cancel-Lock: sha1:1ICXCiUpkdL3shR4uLOrwa97fUk= User-Agent: Microsoft-Entourage/12.33.0.120411 Thread-Topic: Ada 2012: In-out parameters for functions Thread-Index: Ac5KdUIL9PmqlsHlTkueh7EPgOV7+w== Xref: news.eternal-september.org comp.lang.ada:15375 Date: 2013-05-06T17:17:52+01:00 List-Id: On 06/05/2013 16:40, in article 19a6badd-ed0f-4023-9100-b9ab653a7f23@googlegroups.com, "Adam Beneschan" wrote: > On Sunday, May 5, 2013 5:52:18 AM UTC-7, Bill Findlay wrote: >> On 05/05/2013 12:11, in article op.wwlyp5ymule2fv@cardamome, "Yannick > >>>> How about reusing the mode keywords: >> >>>> Proc ( >>>> In_Param => in A, >>>> Out_Param => out B, >>>> In_Out_Param => in out C); > >>> Seems this topic was not discussed at all for Ada 2012. > >> I'm glad to hear it, because the idea is bonkers. >> >> Declarations collect relevant info to one easily found place in the code, >> instead of having it splattered around at random. > > No, I don't think you understand. Oh, I think I do understand. > This isn't a declaration. ^^^^^^^^^^^^^^^^^^^^^^^^ ... > The place where you tell the compiler what the parameter mode is > would be the same place where it's always been, > when the called subprogram is declared. > Allowing mode declarations in the call would serve two purposes: ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ You seem to be somewhat inconsistent here. -- Bill Findlay with blueyonder.co.uk; use surname & forename;