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: 
 border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!fdn.fr!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!newsfeed.arcor.de!newsspool4.arcor-online.net!news.arcor.de.POSTED!not-for-mail
Date: Sun, 22 Jun 2014 17:30:36 +0200
From: Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9;
 rv:24.0) Gecko/20100101 Thunderbird/24.6.0
MIME-Version: 1.0
Newsgroups: comp.lang.ada
Subject: Re: Function definitions - with clarification
References: <f12eba4c-2757-4496-861b-101cb7e355d6@googlegroups.com>
In-Reply-To: <f12eba4c-2757-4496-861b-101cb7e355d6@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <53a6f69c$0$6619$9b4e6d93@newsspool4.arcor-online.net>
Organization: Arcor
NNTP-Posting-Date: 22 Jun 2014 17:30:36 CEST
NNTP-Posting-Host: eb953950.newsspool4.arcor-online.net
X-Trace: DXC=103A`B?[0T1U`5g[@c]@J14IUK<Cl32<14Fo<]lROoR18kF<OcfhCO;
 2A@5h?dhfK5PCY\c7>ejV8WD\@ZD`V7c4F\Cj?f`fE\6
X-Complaints-To: usenet-abuse@arcor.de
X-Original-Bytes: 2013
Xref: number.nntp.dca.giganews.com comp.lang.ada:187153
Date: 2014-06-22T17:30:36+02:00
List-Id: <comp.lang.ada>

On 22/06/14 13:34, montgrimpulo wrote:
> -- type population is array (1 .. Popsize) of Individual;
> -- gives: unconstrained element in array declaration

This means that type Individual is a record type that has
discriminants without default values for the discriminants.

The compiler has no way of knowing in advance the size of record
objects, since the size may differ per object. (Given that the record
definition can have variant parts whose structure and size will
depend on the discriminants, the absence of default values leaves
this open until actual objects are declared, making the objects'
size and structure unknown at the point of the array declaration.)

Therefore, an array of objects of type Individual would have
unconstrained elements (of type Individual, of unknown size
and structure, possibly varying), which arrays may not have.