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.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,8a7b744efabb21c4 X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!t-online.de!news.buerger.net!newsfeed.straub-nv.de!npeer.de.kpn-eurorings.net!npeer-ng1.kpn.DE!newsfeed.arcor.de!newsspool1.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: Out parameters and unconstrained variant types Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: Date: Fri, 27 Jun 2008 09:58:43 +0200 Message-ID: <1syw5liuf8rra$.vtk0cmvbgsfj.dlg@40tude.net> NNTP-Posting-Date: 27 Jun 2008 09:58:43 CEST NNTP-Posting-Host: faf6c757.newsspool2.arcor-online.net X-Trace: DXC=ogCUl5\7fY[j X-Complaints-To: usenet-abuse@arcor.de Xref: g2news1.google.com comp.lang.ada:905 Date: 2008-06-27T09:58:43+02:00 List-Id: On Thu, 26 Jun 2008 17:22:29 -0700 (PDT), Gene wrote: > type Conditional_Result (Exists : Boolean := False) is [...] > ALRM 2005 and Barnes seem to say the procedure Do_Something will know > that rtn in foo is unconstrained and allow both calls to succeed. Since you have a default value for the discriminant, it is perfectly OK to assign it changing the constraint. This does not depend on wither the parameter is in out or out. There shall be no Constraint_Error. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de