Re: Function definitions - with clarification

[Georg Bauhaus <rm-host.bauhaus@maps.futureapps.de>]

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.