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=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.224.137.68 with SMTP id v4mr10634779qat.1.1377449231849;
        Sun, 25 Aug 2013 09:47:11 -0700 (PDT)
X-Received: by 10.49.64.72 with SMTP id m8mr56qes.20.1377449230780; Sun, 25
 Aug 2013 09:47:10 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.glorb.com!q10no808443qai.0!news-out.google.com!he10ni3465qab.0!nntp.google.com!fx3no4719000qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 25 Aug 2013 09:47:10 -0700 (PDT)
In-Reply-To: <b7ujs6Fmin6U1@mid.individual.net>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.34.93;
 posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf
NNTP-Posting-Host: 91.7.34.93
References: <54258ffb-a99c-48d8-8d2b-02694efb6d36@googlegroups.com>
 <f0c0ffcd-3875-4f00-8ebb-be718b29dfed@googlegroups.com>
 <b7ujs6Fmin6U1@mid.individual.net>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9de5282b-4553-40ca-acc8-41b7f511608b@googlegroups.com>
Subject: Re: Contraint error when "out" parameter has incorrect initial
 content
From: AdaMagica <christ-usch.grein@t-online.de>
Injection-Date: Sun, 25 Aug 2013 16:47:11 +0000
Content-Type: text/plain; charset=ISO-8859-1
Xref: news.eternal-september.org comp.lang.ada:16959
Date: 2013-08-25T09:47:10-07:00
List-Id: <comp.lang.ada>

On Sunday, August 25, 2013 4:49:41 PM UTC+2, Niklas Holsti wrote:
> Sloppily said: even if the formal parameter mode is "out", if the formal
> constrains the discriminants then the discriminants are "in".

The discriminants have always been in (as are ranges of arrays). In Ada 83, out parameters were not allowed to be read, but discriminants and bounds of arrays were readable.