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=0.4 required=5.0 tests=BAYES_00,FORGED_MUA_MOZILLA autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,bc2c82b1e5c6fe83 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.211.38 with SMTP id mz6mr882498pbc.1.1330270201380; Sun, 26 Feb 2012 07:30:01 -0800 (PST) Path: h9ni11721pbe.0!nntp.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!news.glorb.com!border3.nntp.dca.giganews.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 26 Feb 2012 09:29:58 -0600 Date: Sun, 26 Feb 2012 10:29:48 -0500 From: "Peter C. Chapin" User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:10.0.2) Gecko/20120216 Thunderbird/10.0.2 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Question about out parameters of unconstrained array type. References: <4NedncPWdPN9GtTS4p2dnAA@giganews.com> In-Reply-To: Message-ID: <-sudnTwlb8Jl0tfS4p2dnAA@giganews.com> X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-3G9Nx3OtxBu82mm+0MDYLy1P9cDkjTV0QeD51dZ2lBWtBrJ+BMZPR2rxON6XXKWxigbfXRqcyiSIkXh!6eo9ISLyeEZH+6UE4TYzoOPHYSxZn1rikrWnyORSWvvp1ek56EQPqvLSKfPMltI= X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html 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.40 X-Original-Bytes: 1821 X-Received-Bytes: 2006 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Date: 2012-02-26T10:29:48-05:00 List-Id: On 2012-02-26 04:14, Phil Thornley wrote: > Note that it is valid to reference A'Length in the precondition. Thanks. The initialization doesn't bother me too much. I have to write something useful into every element of the out parameter anyway. In this particular case the "real" data might not be as long as the given array so just blanket initializing the whole array right up front is satisfactory. I do see, however, how this issue might be seen as an unnecessary limitation of SPARK. Peter