Passing arrays as record fields

[Mark J Gallagher <mjgallagher@taz.dra.hmg.gb>]

Please forgive me if I am overlooking something very obvious, but:

I am attemting to implement a back-propagated feed-forward neural
network in ADA 95 using the latest release of gnat. I have a record
defined as

  type Count_t is Integer range 0 .. Integer'Last;
  type Count_a is array (Integer range <>) of Count_t;
  type Net_t(... N_Neurons: Count_t ...) is record
    ...
    Neuron_Counts: Count_a(N_Neurons);
    ...
  end record;

and a procedure

  procedure Initialise(Net: in out Net_t);

I can declare a variable Net of type Net_t and assign an array to the
Neuron_Counts field, which I can read from the block in which Net has
been declared. However, when I attempt to read the array from the
procedure Initialise, I get garbage. Help!