Re: Question about sets and expression

[reinert <reinkor@gmail.com>]

On Monday, May 8, 2017 at 6:06:52 PM UTC+2, Robert Eachus wrote:
> On Monday, May 8, 2017 at 11:53:23 AM UTC-4, reinert wrote:
>  
> > I did not manage to make a simple test program for this problem,
> > but maybe someone can give me a hint here. I start to be "blind" :-)
> > 
> > os is here an Ordered_Set (not empty). The first part seems OK,
> > but the second part is confusing (craches).
> 
> Trying to diagnose the problem without the declarations is difficult.  I suspect
> that c := (id => Cnil, others => <>);  is trying to assign an unbounded array with that others part.

OK, sorry.

c: cell_observation_t;

where simply:

   type cell_observation_t is record
      id                  : cell_names1.target_t;
      state               : cell_state_t         := live;
      r, dr               : real_vector2d        := (0.0, 0.0);
      axis                : degree_t;
      children1           : cell_names1.cell_names_sets.set := cell_names1.cell_names_sets.empty_set;
      pre_cell, next_cell : target_t             := cnil;
   end record;

"children1" is Ada.Containers.Ordered_Sets (without any defined bound):

 package cell_names_sets is new Ada.Containers.Ordered_Sets (target_t);

 "target_t" is an enumaration type.


My hoped that someone has encountered similar with expressions and could give a hint. Maybe I have destroyed the Ordered_Set somewhere...

I use GNAT under debian, updated. gnat-4.9.

reinert